MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC
VARIETIES
o
O . HENRI GILLET AND CHRISTOPHE SOULE
>.
cd
o
(N
c^
To Paul Roberts
(X) ■ Contents
(N
Introduction 2
1. Stacks 5
, 1.1. Quotient stacks 5
"^ ' 1.2. Resolution of singularities 6
^ . 2. Hyper covers 7
C^ I 2.1. Simplicial objects and coskeleta 17
2.2. Hypercovers and right lifting 11
2.3. Hypercovers of schemes and stacks 14
2.4. Compactification of simplicial varieties 16
^ ■ 3. Homological descent 2C
rn ! 4. Review of i^-theory 27
^^ ' 4.1. The homology theory associated to G-theory 27
^ ! 4.2. G-theory of stacks 28
5. Weight complexes for varieties and stacks 31
(•~^ ■ 5.1. Introduction 31
CO , 5.2. Ko-correspondences 31
^7-^ I 5.3. Weight complexes for simplicial varieties 34
5.4. Weight complexes of stacks 37
k>( \ 5.5. Chow motives 38
^ ■ 5.6. A variant 4C
6. Contravariance of weight complexes 41
6.1. A Category of complexes of sheaves l41
6.2. Enriching the category of varieties over the category of chain
complexes 43
References 5C
Date: May 28, 2009.
This research partially supported by NSF grant DMS-0500762.
1
2 henri gillet and christophe soule
Introduction
In this paper we extend the results in the paper [14j to arithmetic varieties.
While in op. cit., our main results were framed in terms of Chow motives
with integral coefficients, in this paper we shall use iiTo-motives with rational
coefficients. This is because we do not have resolution of singularities, but
rather must appeal to De Jong's results in [Bj.
In addition, De Jong's results in [6] lead us to extend the theory of weight
complexes to Deligne-Mumford stacks. However this is not a substantial
generalization, since the weight complexes of a stack and of its "coarse space"
are homotopy equivalent.
In this paper we shall prove the following theorem, where S is a base
scheme satisfying the condition (C) below.
Theorem 0.1. There is a covariant functor h : Stacks — s- ilo{C^{K(S))
from the category of (separated) Deligne-Mumford stacks of finite type over
S, to the category of homotopy classes of maps of bounded complexes of (ho-
mological) KQ-motives over S with rational coefficients, having the following
properties:
• If X is a regular scheme, projective over S, then h{X) is the usual
motive of X.
• If X is a regular scheme, projective over S, and G is a finite group
acting on X, then h{[X/G]) = h{X)^ . Here [X/G] is the quotient
stack associated to the action.
• If ^ C X is a closed substack with complement ii, then we have a
triangle
/i(2)) ^ h{X) ^ /i(H) ^ hm [+1] .
An immediate consequence of the theorem is:
Corollary 0.2. One can associate to any reduced separated Deligne-Mumford
stack X of finite type over S an element Xc(^) in the Grothendieck group
i^olKM^) of the category KM5 of KQ-motives over S, with the following
properties:
(i) If X is a regular projective scheme over S equipped with an action
by a finite group G then Xci[X/G]) is the class of
(^'#(^E[^r(,.)]);
geG
here [X/G] is the quotient stack associated to the action of G on
X and T{g<t:) is the graph of the action g^^ : X ^>- X of an elem,ent
geG.
If ^ C X is a closed substack, with complement X\ 2),
xc{x) = xcm+xcix\^).
MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 3
We work over a fixed base scheme S which is regular, excellent, and
finite dimensional. Such an S is sufficient to define the category of Kq-
motives. However, in order to apply the results of de Jong to construct
weight complexes, we must additionally assume:
(C) for every finite morphism n : T ^ S, and finite group G acting on
T over S, the pair {T,G) satisfies 5.12.1 of [6].
It is straightforward to check that examples of such an S are:
i) S = Spec(A;) with k a field
ii) S = Spec(A) with A an excellent Dedekind domain. In particular
S = Spec(C'i<-) with Ok the ring of integers in a number field.
This article is organized as follows.
In the first section, after deriving some basic properties of algebraic stacks,
we deduce from [6' two results about resolution of singularities, one for arbi-
trary Deligne-Mumford stacks over a base scheme S satisfying the condition
(C) above, and one about quotient stacks.
In the second paragraph, we discuss simplicial schemes and hypercov-
ers. We introduce the notion of proper hypercover of a stack jt by a
simplicial scheme and derive some of its properties, e.g. the fact that is
stable by base change by any morphism from a simplicial scheme to X
(Lemma I2.15P . We show that any simplicial variety admits a split proper
hypercover (Prop. I2.16P and we also show that these coverings can be com-
pactified (Prop. EH]).
The next section discusses homological descent, following the method of
SGA4 [16j, for arbitrary covariant functors from the category of proper mor-
phisms between schemes to the category of connective spectra which satisfy
appropriate axioms. This result applies in particular to rational G-theory.
The main statement. Theorem [331 says that any proper hypercover between
simplicial varieties with proper face maps induces a weak equivalence of the
associated spectra with rational coefficients. We also show, in Theorem 13. 9^
that any hyperenvelope between simplicial varieties with proper face maps
induces a weak equivalence of the associated spectra with integral coeffi-
cients.
The fourth section is a review of the G-theory of stacks and simplicial
schemes. In particular we show that G-theory may be extended to a co-
variant functor on the category of all proper, not necessarily representable,
morphisms between Deligne-Mumford stacks. The next section contains the
main results about weight complexes. After defining correspondences and
homological motives over S, we associate a weight complex of motives r^,(Q.)
to an arbitrary arrow a. of simplicial projective varieties (Theorem lS.Sp . We
use this result to define weight complexes for arbitrary simplicial varieties
over S (Theorem I5.9p and then to prove Theorem 10.11 and Corollary 10.21 We
then show how this implies the existence of a virtual Chow motive (with
rational coefficients) for every variety over a base field of arbitrary charac-
teristic. Finally using a result of O. Gabber, we show that given a prime i
4 HENRI GILLET AND CHRISTOPHE SOULE
invertible in S one can define weight complexes for Deligne-Muniford stacks
over S with values in the category of homotopy classes of complexes of Kq-
motives over S with Z(£)-coefficients. However, we do not know if this latter
construction leads to bounded complexes or not.
The last section is devoted to the proof of contravariance properties of
weight complexes. We assume that S is the spectrum of a field. Given
two varieties X and Y over S we define a Waldhausen category C{X,Y)
of complexes of sheaves on X x y and we prove that it is contravariant
in X and covariant in Y (Lemma 16. 4p . When X is regular and projective
the i^-theory KC{X,Y) of C{X,Y) coincides with the G-theory of X x y
(Proposition 16. 9( ). We then extend the construction to an arbitrary pair of
maps (a.,/3.) of simplicial varieties, getting a spectrum KC(q. ,/?.). When
the simplicial varieties involved are regular and projective, we define a mor-
phism 7 from vro KC(a., /?.) to the group of homotopy classes of maps from
r,,(a.) to r*(/3.). Using this, given two projective varieties X and Y we
define a map from 7roKC(X, y) to Hom(/i(X), h{Y)) which extends earlier
constructions, and in particular, we attach to any morphism f : X ^ Y
of finite tor-dimension between varieties, a morphism of weight complexes
/* : h{Y) — > h{X). When / is an open immersion, we show that /* coincide
with the map already defined.
We would like to thank the referee for useful comments on the paper.
Conventions.
• All schemes and stacks will be assumed to be separated.
• By a variety we will simply mean a scheme which is of finite type over
our base S. The category of such varieties and proper morphisms
between them will be denoted Vars-
• A scheme is said to be integral if it is reduced and irreducible.
• A simplicial scheme X. over S will be said to be proper over S*, if
each Xn is proper over S.
• A subsimplicial scheme U. C X. will be said to be strongly open if
its complement X. \U. \s a, closed sub-simplicial scheme. This is
equivalent to requiring that U. = cosk (^o)-
motivic weight complexes for arithmetic varieties 5
1. Stacks
1.1. Quotient stacks. For definitions and terminology relating to stacks
see [23] ,
All our stacks will be Deligne-Mumford stacks of finite type over S.
If X is a stack, we denote its set of points by |X|, which is a finite dimen-
sional noetherian topological space ([23j, Chapter 5). Given x G \X\, it has
a residue field k(j;) which is an S*- field {op. cit. 11.2). We write X(j) for the
set of points x € \X\ which are the generic points of i-dimensional subsets.
Following [22], [5] we know that \X\ is the set of points of an algebraic
space, which we shall also denote |X| and call the coarse space of X.
Proposition 1.1. ( j23j thni. 6.1.) IfX has a finite etale cover by a variety,
then there exists a Galois cover by a variety tt : V ^ X. I.e., there is a finite
group G acting on V , and X = [V/G] is the quotient stack for the action.
Definition 1.2. We shall refer to stacks of the form [V^/G] as quotient stacks.
Putting together 11.11 and [23] . corollaire 6.6.1, we get:
Proposition 1.3. Let X be a Deligne-Mumford stack. Then there is a non
empty open substack U C 3£ which is a quotient stack, and we can choose il
so that il ~ [U/G] with U quasi-projective over S.
Lemma 1.4. Let 3 = [Z/G] for G a finite group acting on an S-variety
V. Then there is a G-equivariant compactification Z C W of Z over S, and
hence an open immersion 3^2) = [VF/G] with 2) proper over S.
Proof. It will be sufficient to find a G-equivariant compactification of Z.
Recall the following standard argument. Let i : Z ^ Z he any compact-
ification of Z. (This exists by Nagata's theorem.) Consider the G-fold
fiber product Z^, which is proper over S. There is a natural morphism of
schemes rj : Z ^ Z^, the "g-th" component, for g £ G, oi which is equal to
i ■ Pg : Z —^ Z , where p^ : Z — > Z is the action of g. Observe that G acts
on Z'^ by permuting the factors in the product, and, by construction, r] is
G-equivariant. Hence the Zariski closure W of Z in Zg is a G-equivariant
compactification of Z. D
Lemma 1.5. A map f : X ^ Y of quotient stacks is proper if and only if
there are finite etale covers U ^ X and V ^ Y by varieties, and a map
f : U ^ V which is proper, such that the diagram
U > V
X > Y
commutes.
Proof. Let V ^>- Y he any finite etale cover of y by a variety. Since /
being proper is local in the etale topology of Y, f is proper if and only if
6 HENRI GILLET AND CHRISTOPHE SOULE
/y : y Xy X ^ y is proper. Now let PF — > X be a finite etale cover of X
by a variety. Then the induced map g : U := V xy W ^t V xy X \s finite,
etale, and surjective, and so fv is proper if and only if the composition
f = fy o g -.U —>V \s proper. D D
Definition 1.6. Recall that a map f : X ^^ Y oi schemes is radicial if
equivalently:
• For every field F, the induced map X(F) -^ YiF) is injective.
• / is injective as a map of schemes, and for every point x (^ X, the
field extension k(/(x)) C k(x) is purely inseparable.
Following [23] 3.10, we say that a representable morphism / : X — > 2)
between Deligne-Mumford stacks is radicial if there is an etale cover p :
[/ — > 2) with U a scheme, such that U X(qX is a scheme, and U x<x)X ^ U
is radicial.
1.2. Resolution of singularities.
Theorem 1.7. If X is a Deligne-Mumford stack of finite type over S, there
is a proper surjective morphism p : X ^ X with X a regular variety over S.
Proof. By Chow's lemma ( [23] Corollaire 16.6.1) there is a proper surjective
morphism po ^ -'^o — ^ ^ with Xq a projective variety over 5. Hence it
suffices to show that there is a proper surjective map n : X ^ Xq such that
X is regular. Let / : Xq ^ 5 be the structural map, and f = q ■ g its Stein
factorization, with g : Xq -^ T and q :T ^f S. Then q is finite, and so by the
hypothesis (C) on 5", T satisfies 5.12.1 of [6j. Furthermore, by Remark 4.3.4
of EGA III [15] . g has geometrically connected fibres. Let T' be the disjoint
union of the irreducible components of T, and Xq the pull back of Xq over
T' . Then g' : Xq -^ T' still has geometrically connected fibres, and so the
inverse image by g' of each component of T' is an irreducible component of
Xq. By the standing assumption on S, each component of T' satisfies [6]
5.12.1, and hence by [6] Theorem 5.13 each component of Xq admits a non-
singular alteration, and we set X equal to the disjoint union of these. D
We also need resolution of singularities for quotient stacks:
Theorem 1.8. Let X = [X/G] be a reduced quotient stack of finite type over
S. Then there is a family of proper morphisms of quotient stacks
Pi:[Y,/Hi]^X,
where each Yi is regular and integral, and a dense open substack ii C X such
that, if
p : n [Yi/Hi] ^ X
i
is the disjoint union of the pi 's, the induced map
p"^(H) ^H
is representable and radicial.
MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 7
Proof. If X = U Xj is the decomposition of X into irreducible components,
i
since the map U Xj — s- X is an isomorphism on a dense open subset of both
i
source and target, it suffices to consider the case when X is irreducible. Since
X is irreducible, G acts transitively on the irreducible components of X.
Let Xq be one such component, and Gq C G its stabilizer. Then since
the inclusion i : Xq — > X is Go-equivariant, there is an induced map
/ : [Xo/Go] - [X/G]
which is clearly surjective (since the pull back of the etale cover X — > [X/G]
by / is isomorphic to the disjoint union of the irreducible components of
X). Furthermore, since the map from the disjoint union of the irreducible
components of X to X induces an isomorphism between dense open subsets
of source and target, the same is true for /.
It suffices, therefore, to show that there is a map 2) = [Y/H] — > [Xq/Gq]
with the desired properties.
Consider the map go : Xq ^^ S. This is Go-equivariant, with Gq acting
trivially on S. Let
Xo^T^S
be its Stein factorization, which is again Go-equivariant. Then the mor-
phism q has geometrically irreducible fibres, and (T, Gq), by the standing
assumption on S, satisfies 5.12.1 of [6j, hence {op. cit., 5.13) there is a Ga-
lois alteration (Y,H) -^ (Xo,Go) with Y regular. Set 2) = [Y/H]. The field
extension A;(2))/fc(X) is purely inseparable by {op. cit., 5.13). Since Y is
integral, we may assume that the kernel of -ff — s- Gq is the Galois group of
this extension. Therefore there is a dense open substack il C X such that the
map p~^{ii) ^ il is representable and radicial. This proves our result. D
2. Hypercovers
The material in this section is based on expose V ^^ of [16j, as well as [7|.
Throughout this section C will be a category with finite limits and colimits.
In particular C has a final object.
2.1. Simplicial objects and coskeleta. Recall that A is the category
of finite non-empty totally ordered sets and order preserving maps. For
n G N, we write [n] := {0 < . . . < n}; these objects (and the morphisms
between them) form a skeletal subcategory of A. Let A<„, C A be the full
subcategory consisting of objects with cardinality at most n.
A simplicial object in C is a contravariant functor X. : A ^ C. We write
X„ for X.([n]). The category of simplicial objects in C will be denoted by
A°P(C).
An n-truncated simplicial object is a contravariant functor X. : A<„ ^ C.
The corresponding category will be denoted A^^{C).
There is an obvious restriction functor
sk„ : A°P(C) -. AZ{C) .
8 HENRI GILLET AND CHRISTOPHE SOULE
This functor has two adjoints. Since C has finite inverse hmits, sk„ has a
right adjoint
cosk„ : A°<P„(C) ^ A°P(C) .
Note that sk„ o cosk„ = Id. In addition, sk„ has a left adjoint which we
denote l^ and which is a fuhy faithful functor.
We shall write Cosk„ for the composition cosk„ o sk„, and Sk„ for the
composition t„ o sk„. Note that (Sk„, Cosk„) are an adjoint pair.
If Y. is a fixed object in A°p(C), we can consider the category A°P(C)y.
of simplicial objects over y., as well as the category of n-truncated objects
A^P„(C)y. over sk„(y.).
There is an obvious restriction functor
sk^- : A°P(C)y. -. AZ{C)y.
which has a right adjoint cosk„', given by
cosk^-(X.) = cosk„(X.) Xcosk„(y.) Y-
We write Cosk„' for the composition cosk„' osk„'. We also set Cosk_\ := Y.
The following is straightforward, so we omit the proof.
Lemma 2.1. Let f : X. ^ Y. be a map of simplicial objects in C.
1) lfm>n>0, then the natural m,ap
Cosk^-(X). ^ Cosk^(Cosk^;(X).).
is an isomorphism.
2) If n > p > 0, the natural map
Xp ^ Cosk^-(X)p
is an isomorphism.
3) If n > p > 0, then
CoskliX.)p -^ Cos^Li(X.)p
is an isomorphism.
If A is a finite set, and X € C is an object, we write XxA for Ua^A X. HA.
is the simplicial set associated to a finite simplicial complex, and X. € A°pC
we define X. x A. by {X. x A.)k := X^ x A^..
Two maps fo : X. ^> Y. and fi : X. ^> Y. are said to be homotopic if
there is a map
h.:X.x A[l] -^ Y.
such that h.\xx{i} = fi-
Lemma 2.2. Let X and Y be two objects of C. If fi : X ^> Y for i = 0, 1
are two arbitrary maps, then the maps cosk(/o) : cosko(X). — > cosko(y).
and cosk(/i) : cosko(X). -^ cosko(l'). are homotopic.
MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 9
Proof. We have to construct maps, for p >0:
(cosko(X)p = XP+i) X HomA(b], [1]) ^ cosko(y)p = YP+^
which are compatible with the morphisms in A. Given (p : [p] ^> [1], define
hpi^) := ihpicP)o, ..., hp{cP)p) : XP+' ^ yP+i
by, for i = 0, ...,p,
hp{(t>)i = U{i) : X ^Y .
It is straightforward to check that this works. D
More generally, we have the following result, which extends Lemme 3.0.2.4
of expose V*^'*^ of [16]:
Lemma 2.3. Let S. be a fixed simplicial object in C. Suppose that n >
and that fi : X. ^ Y. for i = 0, 1 are two maps in the category A'^{C) of
simplicial objects over S., such that (/o)p = (/i)p for p < n. Note that if
n = this last condition is vacuous. Then Cosk^'(/o) and Cosk„(/i) are
homotopic.
Proof. The two maps Coskf(/o). and Cosk„(/i). are homotopic if there is
a map
h. : Cosk^-(X). x A[l] ^ Coskf-(y).
such that /i.|coskS(x)x{i} = /*• Since
Cosk^-(X). = Cosk„(X). xcosk„(S). S.
it is enough to find a homotopy
h. : Cosk„(X). x A[l] ^ Cosk„(y).
which is a map of simplicial objects over Cosk„(S').
To give the map h. is equivalent to giving a map
sK{h.) : sk„(X) X sk„(A[l]) ^ sk„(y.) ,
i.e. to giving maps, for k < n,
hk,<p '■ ^k —"Yk
for 4> G A[l]fc = HomA([A;], [1]) compatible with faces and degeneracies, such
that /iA:,9i ~ {fi)k foi" di '■ [k] ~^ \^\ ~ {0' ^l ^^^ Constant map with value i.
Since (/o)fc = {fi)k for k < n, we can set hk,<p = {fo)k = {fi)k for k < n.
For k = n, and (f) / do,di, we can choose h/^.^^ = /o or /i arbitrarily. It
is now straightforward to check that such a choice defines a homotopy, and
that since /o and /i are maps of simplicial objects over S., h. is a map of
objects over Cosk„(5). D
If C is a category with finite products, if A is a finite set, and X is an
object of C we define iioTa{A,X) := X . Notice that this is a functor
Finite Sets°P xC^C.
10 HENRI GILLET AND CHRISTOPHE SOULE
Let n > 0. Given an n-truncated simplicial finite set A. and n-truncated sini-
plicial object X. in C, Rom{A.,X.) defines a functor (A<„)°p x (A<p„)°p -^ C
and we define
HomA<„(^.,X) := / }iom{Ap,Xp) G C.
i[p]6A<„
Here /r„igA denotes the end as in [23]. We say that a simpUcial set A. is
finite if all the Ai are finite, and there is an n > such that A. = Skn{A.).
Notice that if X is a finite simplicial complex, the associated simplicial set
is finite.
If A. is a finite simplicial set with A. = Sk^A., and X. is a simplicial
object in C, we define:
HomA(^., X) := HomA<„(Sk„ A., Sk„ X) .
Note that if C had infinite products so that we could define HomA(^-)^-)
directly, then we would have, since A. = Sk„ A. = Ln o skn A:
RomAiA.,X.) = HomA(tn -sk^^, X.)
= HomA<„(sk„^,sk„X.).
It is straightforward to check that this definition does not depend on the
choice of n, so long as A. = Sk„ A.
Proposition 2.4. The functor HomA : [(A°p Sets)finito]°P x A°p C ^ C
is left exact with respect to the first variable, i.e., suppose that A : I ^
(A°P Sets)finite is a diagram, with I finite, then
HomA(lim^(i).,X.) ~ limHomA(^(i).,^.) .
iei iei
Proof. First observe that
A^X^
is left exact with respect to A, and that direct limits in (A°p Sets)finite are
computed degreewise. Since / is finite, there is an n > such that
lim SKiA{i).) = Sk„(lim A(i).) .
MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES
11
Therefore
HomA(limA(z).,X.)
/ Rom{limA{i)fj,X,
HomA<„(sk„(limyl(i)p),sk„(Xp))
peA<„ jg/
lim(Hom(A(i)p,Xp))
peA<„ jgT"
lim / i{om.{A{i)p,Xp)
(by the Fubini theorem, [24J, IX.
UmHomA(^(i).,^.)-
D
2.2. Hypercovers and right lifting. Recall that a map / : X — > y be-
tween simplicial sets is said to be a trivial fibration (II. 2. 2 of [27j), if it has
the right lifting property for all monomorphisms i : A. ^f B. oi simplicial
sets. That is, for all commutative squares:
A.
B.
-^X.
P
Y.
there is a lifting ^ : B. ^f X. such that the diagram
A.
B.
Y.
commutes. We can remove the explicit mention of the maps a and /3, by
defining Hom(^.,X.) Xuom(A.,Y-) Hom(S.,y.) to be the pull back in the
square
Hom(5.,y4.)
Rom{A.,X.) ^ Hom(^., Y.)
Then the lifting property becomes the assertion that the natural map
Rom{B.,X.
is surjective.
Hom(^.,X) XHom(A,y.)Hom(5.,y.)
12 HENRI GILLET AND CHRISTOPHE SOULE
Suppose now that f : X. ^ Y. is a morphisni in A°pC. li i : A. ^ B . is a
monomorphism between finite simplicial sets, we define
HomA(^.,X) XHomA(A,y.) HomA(S.,y.)
to be tfie pull back in the square
}iom^{B.,A.)
HomA(^., X.) ^ Rom a{A.,Y.)
Let P be a class of morphisnis in C which contains isomorphisms, is closed
under composition, and is closed under base change. It is straightforward
to check that these two conditions imply that V is closed under products.
Definition 2.5. We say that a morphism / : X. — > y. of simplicial objects
in C has the right P- lifting property with respect to an inclusion i : A. ^^ B .
between finite simplicial sets, if the map
HomA(S.,X) -^ Rom{A.,X.) XHom(A.,y.) iiom{B.,Y.)
is in v.
Recall that the morphism f : X ^^ Y in A°pC is called a P-hypercover,
if for all n > 0, the morphism
Xn ^ Cosk^Li(X)„
is in V. By definition of Cosk„L^(X.)„, this is equivalent to / having, for
each n > 1, the right lifting property with respect to the inclusion
sk„_i(A„) C A„,
and for n = 0, this means that Xq -^ Yq is in V, i.e. the lifting property
with respect to ^-> Aq. Applying II. 3. 8. of [9] and Proposition 12. 4|, we
obtain:
Lemma 2.6. A map f : X ^> Y in A°^C is a V-hypercover if and only if,
for all monomorphisms i : A. —> B . of finite simplicial sets, the natural map
HomA(5.,X) ^'-^^ HomA(A.,X) y<nom^{A.x.) RomA{B.,Y.)
is in V, i.e. / has the right lifting property with respect to all infective maps
between finite simplicial sets.
From which it immediately follows that:
Corollary 2.7. If f : X ^> Y in A^^C is a V-hypercover, then for all n,
fn&V.
Proof. For any given n, this is simply the right lifting property with respect
to the inclusion 6 ^^ A„. D
MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 13
Lemma 2.8. If f : X. ^Y. is a V-hypercover, then the tower of maps:
...^ Cosk^+i(X). -^ Cosk^-(X). ^
. . . Cosk^-(X.). ^ Cosk!;i(X.). = Y.
has the following properties for all n > 0;
1) the natural map
Xp^Coskl-{X.)p
is an isomorphism for p < n.
2) (/n)p is an isomorphism for p < n.
3) (/„)„ € V.
Proof. 1) and 2) are already in Lemma |2 . 1 1 while 3) follows from 1) and the
definition of a hypercover. D
For schemes and stacks of finite type over S, we shall be interested in
hypercovers with respect to two possible choices of V:
i) V consists of those maps f : X ^ Y which are envelopes i.e. are
proper and surjective on F- valued points for all fields F. We shall
refer to such hypercovers as hyperenv elopes.
ii) V consists of all maps f : X ^> Y which are proper and surjective,
i.e., surjective on F- valued points for all algebraically closed fields.
We shall refer to such hypercovers as proper hypercovers.
The proof of the following proposition is a straightforward consequence
of the definition of right P-lifting, and the valuative criterion of properness:
Proposition 2.9. Let /. : X. — > Y. be a map of simplicial varieties. Then
f. is a proper hypercover if, for all injections i : A ^^ B between finite
simplicial sets, the following two conditions hold:
i) For all algebraically closed fields F, and each commutative diagram:
A. X Spec(F) ^-^ X.
B. X Spec^F) ^^ Y.
there is a lifting p. : B. x Spec(-F) — > X.
ii) For every valuation ring A with fraction field F, and each commu-
tative diagram:
A. X Spec(A) UB.x Spec(F) ^-^ X.
B. X Spec(A) ^ Y.
there is a lifting p. : B.x Spec(A) — > X.
f . is a hyperenvelope if in (\), the field F is any field.
14 HENRI GILLET AND CHRISTOPHE SOULE
2.3. Hypercovers of schemes and stacks. Recall that a stack X over S
is in particular a category over the category of 5- varieties:
a : X —I- Vars
with a~^(X) the groupoid Hom(X, X). If / : X ^ X and g : Y ^ X are
two morphisms, then / XxQ is the product of / and g in the category X.
Then a{f >^xg) is the scheme parametrizing isomorphisms:
■■ifopx =P*xif)) ^{9°PY =P*y{9))
where px '■ X xsY^X and py : X xsY ^ Y are the projections.
Definition 2.10. A morphism from a simplicial scheme to a stack X, f. :
X. -^ X, consists of a simplicial object /. in X, such that «(/.) = X.
Lemma 2.11. Given f. as above, let coskp (Xq). be the simplicial scheme
n \-^ Xq Xx- ■ ■ XxXq = a(/o x^- • • Xxfo), in which coskg (Xo)n parametrizes
n-tuples
(^0,1) • • • ,(^n-l,n)
with Oi^iJ^i '■ fo ^^ fo cL'Ti' isomorphism in the groupoid a~^{X) = Hom(X, X).
Then giving the full simplicial object f. in X is equivalent to giving a map
of simplicial schemes
X. -^ cosk^(Xo
Proof. A map
Xn -^ cosk^(Xo)„
is equivalent to giving a map
(fn-- Xn^ XqXs ... Xs Xo = COsk^(Xo)„
and isomorphisms, for i = 1 . . . n
Oi-i^i : (pj_i • ifn)* (/o) -^ {Pi ■ ^nTifo) ■
This is equivalent, up to canonical isomorphism, to giving an object /„ G X
with a{fn) = Xn and isomorphisms, for i = 0, . . . , n:
Oi-fn-' {PiVnT (/o)-
Given /„, and the 6i, set 9i-i^i = 6i-6^_^] notice that there is then a canonical
isomorphism /„ ~ (poV'n)* (/o) while given the 0j-i,j, we can set /„ equal
to {pQipnT {h)- n
Definition 2.12. We say that /. : AT. — > X is a proper hypercover if
0) /o : Aq ^ X is proper and surjective.
1) For all n > 1, the map
q(/„) = A„ ^ Q(cosk„_i (/.)„)
is proper and surjective (i.e. the natural map of simplicial schemes
A. -^ coskg (Aq). is a proper hypercover).
MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 15
Given any stack X there exists a proper hypercover X. ^ X as above.
Indeed, Chow's lemma imphes the existence of /o : Xq -^ X proper and
surjective. Then choose X. = coskg (Xq).
Lemma 2.13. If X is a stack and f. : X. ^ X is a morphism from a
simplicial scheme to X, then for all morphisms g : T ^ X with T a scheme,
f. induces a map /t- : X. Xj^ T — > T which is a proper hypercover if f.
is. Furthermore, if g : T ^ X is etale and surjective, then f is a proper
hypercover if and only if fr- is-
Proof. First we need a technical lemma about fibre products.
Lemma 2.14. Let f : X ^> X, g : Y ^ X, h : Z ^> X be three morphisms
from schemes to a stack X. Suppose we are given a map of schemes p : X — >
Y , and a map p '■ f ^> g in X covering p. Then the commutative square
a{f X h) = X XxZ s- Y Xx Z = a{g x h)
a{f=p-g)=X -^ Y = a{g)
is cartesian. Le. there is a canonical isomorphism
X XxZ ^^ X xyY XxZ .
Proof. Straightforward using the explicit description of fiber products in
2.2.2. n
Suppose now that /. is a proper hypercover. Then, for n = 0, fo : Xq —i- X
is proper and surjective. Therefore /o x^ It : Xq x^ T ^ T is proper and
surjective, by the definition of properness (p3]> Definition (7.11)).
For n > 1, we know that
a(/„) = Xn^ a(Cosk„_i (/.)„)
is proper and surjective. Now since Cosk„_i commutes with products (since
it is a right adjoint),
cosk„_i(/. X g)n = coskn-ii f.)n X g
and so
a(/n X g) —" a(cosk„_i(/. x g)n)
is equal to
XnXxT^ a(Cosk„_i(/.)„ X 5) ~ a(Cosk„_i(/.)) x^T
which is again proper and surjective.
Suppose now that g' : T — > X is etale and surjective, and that X. XxT — > T
is a proper hypercover. Then
XqXxT^T
16 HENRI GILLET AND CHRISTOPHE SOULE
is proper and surjective, and hence by [23] Remark (7.11.1) Xq — > X is
proper and surjective. Similarly, for all n > 1,
Xn -^ a(Cosk„_i (/.)„)
is proper and surjective. This proves Lemma 12.131 D
Lemma 2.15. If X is a stack, and f.:X.^Xisa proper hypercover of X
by a simplicial variety, then for all morphisms g -.Y. ^f X with Y. a simplicial
variety, the induced map fy. :Y. "X^X. ^Y. is a proper hypercover.
Proof. We must show that for all n > the natural map
(*) YnXxXn^ Cosk^Ll(y. XxX)„
is proper and surjective. It is straightforward to verify, knowing the adjunc-
tion between Sk^-i and Cosk„_i, that there is a canonical isomorphism of
schemes over Y^.
Cosk^Li(y. xxX)„ ^ Yn XxCosk^_i(X)„
and that the composition of these two maps is the base change, by 1^ — > 36,
of the proper surjective map X„ -^ Cosk„_^(X.)„. But by Lemma [2.141
^n
Yn XxXn ^ [Yn X ^ Cosk^_i(X)„) X(.^^i^x_^(^ )^ X„
and so the map (*) is proper and surjective by base change with respect to
the map
Yn Xxcosk^_i(X.)„ --> cosk^_i(X)„ .
D
2.4. Compactification of simplicial varieties. Recall that for n > 0,
an n-truncated simplicial variety X. is said to be split if for all k < n, the
complement in X^ of the image of the degeneracies:
NXk = Xk\ \J SiiXn-l)
^i'^n — 1 ^^n
is both open and closed in X„. It then follows that for < A; < n:
Xk= H X{a){NX,).
If X. is a simplicial variety, we say that it is n- split if sk„(X.) is split, and
split if it is n-split for all n > 0.
Proposition 2.16. Given a simplicial variety X. with proper face maps,
there is a proper hypercover f.:Y.^> X. with Y. split.
Proof. We shall construct, by induction on n > 0, simplicial varieties Y{n).
(with proper face maps), together with maps
fn+i:Y{n + l).^Y{n).
with the following properties:
MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 17
1) Y{n). is n-split for all n
2) Y{0). = X. (note that any siniplicial variety is 0-split)
3) For all n > 1, /„ is a proper hypercover
4) For all n > 1, sk„_i(/„) is an isomorphism
5) The natural map
Y{n). -^ Cosk^-{Y{n).).
is an isomorphism. (Notice that this is trivially true for n = 0.)
Having constructed such a tower of maps, set (for n > 1) ipn : Y(n) -^
Y{0) = X. equal to /i o . . . o /„, and then define Y. = lim y(n), and c/9 :
n
Y. -^ X. equal to lim(/3„. Notice that the natural map Y. — > Y.{n) induces
n
an isomorphism sk„(y.) — > sk„(y(n).), and hence ip : Y. ^ X . is a proper
hypercover with Y. split. The induction has already been started by setting
y(0). equal to X.
Now suppose that n > 1 and that Y{k). and fk have been defined for
k < n (if n = 1, then we only need the existence of ^(0). = X.), satisfying
conditions l)-5) above. We start by setting
sk„_i Y{n). = skn-i Y{n - 1) .
Following [16] 5.1.3 we know that, given a variety A^ and a map
/3:Ar^Cosk„_i(Sk„_i(y(n)))„
there is, up to isomorphism, a unique split n-truncated variety V. with
NVn = N, sk„_i(y.) = sk„_i(y(n).) = sk„„i(y(n - 1)), and (3 the re-
striction of the natural map Vn — > cosk„„i(sk„_i(y.)) to NVn-
Thus constructing the split n-truncated simplicial object sk„(y(n)) is
equivalent to giving a variety Vn, and a map Vn —>■ Cosk„_i (Sk„_i y(n —
l))n- By |7| Proposition 6.2.4, to give a map
sk„(/„) : sk„(y(n)) ^ sk„(y(n - 1))
is the same as giving morphisms:
sk„_i(/„) : sk„_i (y(n)) ^ sk„_i(y(n - 1))
and
f:N^Y{n- 1)„ = Cosk^ii(y(n - 1))„
such that the diagram:
N ^ Cosk„_i (y(n))n
/
Cosk^^i(y(n - 1))„ Cosk„_i(y(n - 1))„
Cosk„_i(y(n- 1))„ Xcosk„_i{x.)„ Xn
18 HENRI GILLET AND CHRISTOPHE SOULE
commutes. Here vr is the projection onto the first factor in the fibre product.
Hence the map / determines f3, the spUt object sk„(y(n)), and the map
Let us choose N and / so that / is proper and surjective; for example,
take / to be the identity. Having defined sk„(y(n).) we now set Y{n). =
coskf(sk„(y(n).)).
To define /„, observe that, by l2.lt
Y{n - 1). = Cosk;^ii(y(n - 1).) = Cosk^(y(n - 1)).
and so we set /„ = cosk„ ■(sk„(/„)).
It remains to show that /„ is a proper hypercover. Since {fn)p is an
isomorphism for p < n, we know that
Y{n), - coskjir'^ (yH),
is an isomorphism, hence proper and surjective for p < n. Now suppose
p > n.
First observe that
Cosk„_i(y(n))„ Xcosk„_i(y(n-i))„ Y{n - l)n = Y{n - 1)„
since sk„_iy(n) — > sk„_iy(n — 1), and so
Cosk„_i(y(n)) ~ Cosk„_i(y(n - 1)) .
However, f{n)n : Y(n)n —>■ Y{n — 1)„ is proper and surjective, since /3 is
proper and surjective, and the face (and hence also the degeneracy) maps
of Y(n — 1) are proper by the induction hypothesis. Hence sk„ Y{n) — s-
skn{Y{n — 1)) is a proper hypercover of n-truncated varieties (j2.14p . We
then conclude with the following lemma:
Lemma 2.17. Let Y. and Z. be n-truncated simplicial varieties over the
simplicial variety X., and suppose we are given a proper hypercover f. :
Y. -^ Z. (over X.). Then
cosk^(y). ^cosk^iZ).
is a proper hypercover.
Proof. We have to prove the lifting property for all inclusions of finite sim-
plicial sets i : A ^^ B. Suppose then that we are given a commutative
diagram, with 5 = Spec(F) for F an algebraically closed field:
(*) ^x5 -Cosk^(y.)
e /^
Bx S ^Cosk^{Z.)
MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES
This is then equivalent to giving a commutative diagram
sk„(^) X S ^ Y.
19
sK{B) xS-
-^Z.
BxS'
-^X.
and hence a lifting 9 exists, since Y. ^ Z. is a proper hypercover, and 9
defines a lifting 9 in diagram (*). To see that, for every valuation ring A,
with fraction field F, a lifting ip exists in every diagram, with i : A ^^ B as
above,
A X Spec(A) UB X Spec(F) ^ Cosk;^(y.)
B X Spec(A) ^ Cosk;f (Z.)
it is enough to produce a lifting ip in the diagram:
sk„(yl) X Spec(A) U sk„ S x Spec(F) p Y.
skniB) X Spec(A) ^ Z.
B X Spec(A)
which again exists since Y. -^ Z. is a proper hypercover.
^X.
D
Proposition 2.18. Let X. be a split simpUcial variety with proper face
maps. Then there is a map of simpUcial varieties j. : X. — j- X. such that:
1) For all k > 0, j^ : X^ ^^ X^ is an open immersion with X^ proper
over S
2) X. is split.
Proof. We construct sk„(X.) by induction on n > 0. For n = 0, we set
Xq equal to a "compactification" of Xq over S, which exists by Nagata's
theorem.
Suppose now that n > 1, and that we have constructed sk„_i(X.), to-
gether with a map
sk„_i(j.) : sk„„i(X) ^ sk„_i(X.)
satisfying 1) above.
20 HENRI GILLET AND CHRISTOPHE SOULE
Giving sk„(X.) is the same as giving NXn and a map (5n '■ NXn — >
cosk,i_i(sk„_i(X.))„. Since X. is split, we have maps
Pn : NXn -^ cosk„_i(sk„_i(X.))„
and
cosk„_i(sk„_i(j.)) : cosk„_i(sk„,_i(X)) -^ cosk„_i(sk„_i(X.)) .
By Nagata's theorem, there exists a factorization of cosk„_i(sk„,_i(j.)) o/3„:
NXn NXn
cosk^_l(sk^_i(j)) _
cosk„_i(sk„_i(X.)) ^ cosk„_i(sk„_i(X.))
with (3n proper, and in an open immersion.
By [16] there is then a unique spht n-truncated simpUcial variety skn{X.)
with sk„_i(sk„(X.)) = sk„_i(X.) and NXn equal to NXn- Then, following
[7], the composition of z„ with the inclusion NXn ^^ Nn, induces a map
sk„(j) : sk„(X) ^ sk„(X.)
with jn an open immersion, since it is a disjoint union of open immersions.
This completes the induction step. D
3. HOMOLOGICAL DESCENT
In the following, E will be a covariant functor from the category of proper
morphisms between schemes to the category of connective spectra. This
includes the case of functors to the category of chain complexes of abelian
groups concentrated in degrees > 0.
We assume in addition that E is contravariant with respect to open im-
mersions. We suppose that the two types of functoriality are related as
follows:
1. If j : f7 C X is an open subset with complement Y = X\U, then:
E{Y) -^ E{X) -^ E{U)
is a (co-)fibration sequence.
2. li j : U <Z X \s an open subset, and f : Z ^ X is proper, the
diagram:
E{Z) ^^^ Eif-HU))
U (/I
EiX) ^EiU)
j*
commutes.
u)
MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 21
Properties 1. and 2. imply that if X and Y are schemes then the inclusion
maps of X and Y into the disjoint union X \JY induce a weak equivalence
E{X)y E{Y) ^ E{XUY).
We also assume that E satisfies devissage:
3. For all X, the natural map j : X —^ X from the reduced structure
on X to X induces a weak equivalence on E.
In this section we will prove that a functor E having properties (l.)to (3.)
above satisfies descent with respect to hyperenvelopes.
If in addition E is contravariant with respect to finite flat morphisms, and
satisfies properties (4.) and (5.) below, we shall show that E, with rational
coefficients, satisfies descent with respect to all proper hypercovers.
4. The diagram analogous to that in item (2.) above, in which U ^ X
is finite and flat, is also strictly commutative.
5. If p : X — > y is finite and flat, with p*(Ox) a free Oy-module of
rank n, then
p,p*:E,{Y)^E,{Y)
is multiplication by n.
The iC-theory of coherent sheaves (G-theory), or the homology theory
corresponding to a cycle complex in the sense of Rost, |29j . and in particular
the homology theory associated to the Gersten complexes |11) . all satisfy
properties (1.) to (5.).
In the paper [l2], descent for i(''-theory with respect to hyperenvelopes
was proved flrst for the homology of the Gersten complexes and then using
a spectral sequence argument, for i^T'-theory. Here we shall prove descent
for the map on homology with rational coefficients induced by an arbitrary
proper hypercover of simplicial schemes, following the method of SGA 4 fl6\ .
We start by extending E from varieties to simplicial varieties:
Definition 3.1. If X. is a simplicial variety with proper face maps, and
E is any covariant functor from the category of proper morphisms between
schemes to the category of connective spectra, then we define:
E{X.) := hocolimjgA°p E{Xi) .
This is clearly covariant functorial with respect to proper morphisms be-
tween simplicial schemes with proper face maps.
Lemma 3.2. Let X. be a simplicial scheme with proper face maps, and
suppose that E is any covariant frnctor from the category of proper mor-
phisms between schemes to the category of connective spectra. Then there is
a (convergent) first quadrant homological spectral sequence:
Proof. This is the standard spectral sequence for hocolim [3]. D
22 HENRI GILLET AND CHRISTOPHE SOULE
Lemma 3.3. Suppose that E is a covariant functor from the category of
proper morphisms between schemes to the category of connective spectra
which takes disjoint unions of schemes to direct sums of spectra (in par-
ticular if E satisfies properties (1.) and (2.)). Then if f,g : X. — > Y.
are homotopic maps in the category of proper morphisms between simplicial
schemes with proper face maps, E{f),E{g) : E{X.) — > E{Y.) are equal in
the homotopy category of spectra.
Proof. There is a map h : X.xA^ -^ Y. such that h\x.xO = f and h\x.xi = 9-
It suffices to observe that the inclusions X. x {i} -^ X. x A^, for i = 0, 1,
induce weak equivalences of S-theory spectra inverse to the weak equivalence
induced by the projection X. x A^ ^ X.. By Lemma l3.2|, it is enough to
check that these maps induce isomorphisms on the chain complexes obtained
by applying the functor Eg for all q. But Eg takes disjoint unions of schemes
to direct sums of abelian groups, and for any functor H from schemes to
abelian groups with this property, the maps of simplicial abelian groups (for
i = 0,l):
H{X. X {i}) -^ H(X. X A^) ~ H(X.) ® Z(A^) -^ H{X.)
are weak equivalences. D
Theorem 3.4. Suppose that E is a covariant functor from the category
of proper morphisms between schemes to the category of connective spectra
satisfying properties (1.) to (5.). Let /. : X. — > Y. be a proper hypercover
between simplicial S-varieties, each having proper face maps. Then E{f.)Q :
E{X.)q -^ E{Y.)q is a weak equivalence.
There are several steps to the proof.
Lemma 3.5. Let p : X ^ Y be a proper morphism that admits a section
s : Y ^ X . Then for any covariant functor E from the category of proper
morphisms between schemes to the category of connective spectra which takes
a disjoint union of schemes to a direct sum of spectra, in particular for any
E which satisfies properties (1.) and (2.) above, we have that:
cosk^(p) : E{coskl{X).) -^ E{Y)
is a weak equivalence.
Proof. Let Y. be the constant simplicial object [n] i— > Y. Then s induces a
section s : Y. ^ coskg (X). of the projection coskg (p). On the other hand,
by Lemma 12.21 s o coskg (p) = coskg [s o p) is homotopic to the identity
and so we are done. (Note that here we do not need to assume that E has
rational coefficients.) D
Lemma 3.6. Let p : X ^ Y be a finite fiat morphism, such that p*(Ox) —
Oy for some d > 0. (Note that if p is finite and fiat this will be true on a
Zariski dense open subset ofY.) Then
E{cosk^iX).)Q^EiY)Q
MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 23
is a weak equivalence.
Proof. Following Lemma 13.21 it is enough to prove that, for all g > 0,
Hp{z ^ E,{coskJ{X))Q) =. I ^^^^^^
0, i > 0;
i = 0.
Consider, therefore, the corresponding augmented chain complex C^= con-
centrated in degrees > —1, with C„ = ii^q(cosk (X)„)q for n > 0, C_i =
Eq{Y)Q, and differentials (5„ = Y17=o(~^yi^i)* ^^^ n > 0, where we set
do = p : X = cosk {X)o — > cosk (X)_i = Y when n = 0.
For all n > 0, and all i < n, one may easily check that the following
square is cartesian, with all maps finite and flat :
cosk {X)n+l — > cosk {X)n
di
cosk {X)n — ^^^^ COsk^ {X)n-l
and hence that
[dnTidi), = {diUdn+lT : Eg{cOs]J{X)n) ^ £;g(cOsk^(X)„).
It is then straightforward to check that the sequence of maps, for n > — 1 :
hn = -^ {dn+iT ■■ -E^lcosk {X)n)Q ^ -Eg(cosk (X)„+i)q
is a contracting homotopy for the complex C=k, given that for all n > —1,
{dn+i)*{dn+i)* : -E'g(cosk^(X)„) -^ ^g(cosk^(X)„) is (by the projection
formula) multiplication by d. □
Proposition 3.7. Let p : X ^>Y he a proper surjective morphism. Then
S(cosk^(X).)Q ^ E{Y)q
is a weak equivalence.
Proof. By devissage we may assume that Y is reduced. We proceed by
noetherian induction on the closed subsets of Y . The assertion is trivially
true if Y is empty. Now suppose that Y is non-empty, and let r/ G y be a
generic point of a component of Y . Then there exists a point ^ € X^^ (the
fiber over the point rf) such that the residue field k(^) is a finite extension
of k(77). Taking the Zariski closure ^ of ^ in X, we obtain a subscheme of
X which is finite over an open neighborhood of r/. By generic flatness, there
is then an open neighborhood U of r/, the inverse image 1/ in ^ of which is
finite and flat over U . Additionally, we may assume that p^,{Ov) — Ofj.
By the induction hypothesis the assertion of the proposition is true for
pz: Z XyX ^ Z, where Z = Y\U.
24 HENRI GILLET AND CHRISTOPHE SOULE
Now consider the diagram:
E{cosk^{p~^{Z)).)Q > E{cosk^{X).)Q > ^(CoskP"'(^) ([/).)
f 9 h
E{Z)q . E{X)q . E{U)q.
The map / is a weak equivalence by the induction hypothesis. Next, observe
that:
E{Z)q ^ E{X)q -. E{U)q
is a fibration sequence by locahzation, and similarly, for all n > 0,
cosk^{p-^{Z))n = cosk^(X)„\coskP"'(^)([/)„
and so, again by localization, we have a fibration sequence of connective
spectra
E{cosk^{p-\Z))n) ^ ii;(cosk^(X)„) ^ i?(coskP"'(^) ([/)„) .
Hence, since by [4], hocolim preserves fibration sequences of connective spec-
tra, we have a fibration sequence:
^(coskP"'(^)(Z).)Q ^ ^(cosk^(X).)Q ^ E{coskP~"(^\u).)Q .
Hence, in order to prove that £'(cosk {X).)q -^ E{Y.)q is a weak equiv-
alence, it remains to show (writing Y for U and X for p^^{U)) that if
p : X ^ y is a proper surjective morphism such that there is a finite flat
map vr : y — > y, and a section s : V —i- X, i.e. such that p o s = it, then
p=K : £'(cosk • {X))q -^ E{Y)(Q is a weak equivalence.
Consider the bisimplicial scheme cosk (y).xycosk (X).. For each n>0,
i?(cosk (V). xy cosk (X)„)(Q — > i?(cosk (X)„)(q is a weak equivalence by
Lemma 13.51 Hence (by the homotopy colimit theorem [4J) £'(cosk (V). xy
cosk^(X).)Q -^ £'(cosk^(X).)Q is too.
On the other hand, for each m > 0,
cosk^(y) Xy cosk^(X). ~ cosk=°"'^™(^)(X Xy cosk^(F)^).
and since there is a section V ^^ X over Y, there is a section cosk^(y) =
Hy (^) ^ X Xy cosk^(y). Therefore, the augmentation
£;(cosk'*"(y)„ Xy cosk^(X).) -^ E{cosk^{V)m)
is a weak equivalence (even without tensoring with Q), by 13.51 and so
again by the homotopy colimit theorem [3], we have a weak equivalence:
E{cosk^{V). Xy cosk^(X).) ^ E{cosk^ (V).).
Finally, by Lemma 13.61 we know that £'(cosk {V).)q -^ E{Y)q is a
weak equivalence, and it follows therefore that £'(cosk {X).)q -^ E(Y)q is
too. □
MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 25
Proof of Theorem 13. 4L Suppose that /. : X. — > Y. is a proper hypercover
of simplicial varieties with proper face maps. By 12. H we know that the
sequence of simpHcial varieties:
. . . ^ cosk^-(X.) -^ cosk^Li(X.) ^ ...Y.
satisfies properties l)-3) of Lemma 12.81 D
Since Eg = for g < 0, it follows from the descent spectral sequence 13. 2^
that if p. : V. ^ W. is a proper map between simplicial varieties with proper
face maps, and there is an n > 1 such that pi is an isomorphism for i < n,
then Eq{V.) — > Eq{W.) is an isomorphism for q < n. It follows that for a
given q > 0, the map
EgiX.)^EgicoskliX.).)
is an isomorphism once n > q. It will therefore be sufficent to show, for all
n > 0, that
^(cosk^-(X).)Q ^ Eicoskl_,iX.).)Q
is weak equivalence. First we need the following lemma:
Lemma 3.8. Let f : X . ^> Y. be a proper hypercover. Then for all n >
and all p >0,
{fn)p : Cosk^-(X.)p ^ Coskl_,iX.)p
is proper and surjective.
Proof. We have to show that {fn)p is surjective on F- valued points for all al-
gebraically closed fields, and that the valuative criterion of properness holds.
We shall only prove the valuative criterion, since the proof of surjectivity is
similar, but easier.
Suppose then that we are given a commutative square, for A a valuation
ring, with fraction field F :
Spec(F) ^Cosk^(X)p .
/ {jn)p
Spec(A) ^ Cosk^Li(X)p
Since
Cosk^(X)p ^ Cosk„(X)p Xcosk„(y.)p ^p
the commutative square above is equivalent to a commutative diagram
(sk„(AP) X Spec(F)) U (sk„_i(AP) x Spec(A)) —-p X.
f
sk„(AP) X Spec(A) ^ Y.
AP X Spec(A) *- Y.
26 HENRI GILLET AND CHRISTOPHE SOULE
and giving the lifting j is equivalent to giving the map 6, which exists since
/ is a proper hypercover. D
We now have that the map
/„ : cosk^-(X). -^ cosk^Li(X.).
has the fohowing properties (see 12. ip
(1) For all p, {fn)p is proper and surjective.
(2) For p < n, (/„)p is an isomorphism.
(3) For p > n, the natural map
Cosk^-(X) ^ Cosk^-(Cosk^-(X))
is an isomorphism.
Suppose now that n > and that f : V. ^ W. is a map of simplicial
varieties over Y. with proper face maps satisfying (l)-(3) above. We claim
that E{V.)q — > E{W.)q is a weak equivalence. To see this, consider the
bisimplicial scheme:
([A;], [£]) ^ cosk^*(Vi')fc = Ve xw^ x . . . Xw^Ve (k factors).
By [4], we have:
hocohm(([A;], [£]) ^ E{cosk^'{Ve)k)Q)
~ hocolim([^] ^ hocolim([A:] ^ E{cosk^'{Ve)k)Q)
~ hocolim([A;] —f hocolim([£] i-^ E{cosk^^{Ve)k)Q) ■
Since fi is proper and surjective for all ^ > 0, we have that, for all -£ > :
E{cosk^'{Ve).)Q = hocolim([A:] ^ E{cosk^'{Vi))k)Q ^ E{Wi)Q
is a weak equivalence (by Proposition 13. 7p . Hence the natural map from the
first iterated hocolim to E{W.)q is a weak equivalence.
On the other hand, consider, for a given k > 1, the face maps
d^- : coskS^-(y.)fc = W.xvx. . .xyW. -^ coskS^-(y.)fe_i = W.Xv.x. ..Xy.W. .
Each map d^' has a section, either sf^^ or s^'. Also, since Vp —>■ Wp is
an isomorphism for p < n, the same is true for d- ^ . Furthermore, since
V. —^ Coskp (y.) is an isomorphism for all p > n, it is straightforward to
check that the same is true for Coskg '(1/.)^ instead of V. for all k. Thus, for
i < n, the two maps sf^' d^' : Coskg '{V.)k —> Coskg '{V.)k and the identity
are homotopic, by Lemma [2.31 Similarly, if i > 0, the maps sj_]^ d^ and the
identity are homotopic.
Applying the functor E, we see that E{d^')(Q is an equivalence, indepen-
dent of i, with inverse E{s^')q and/or E(s^j^)q. It follows that the natural
map
V. ^CoskJf'(y.)..
MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 27
induces an equivalence on Eq, since for each q >0,
k t—^ Eg{V. xw. X . . . xw.V.)
fc-times
is a constant simplicial group. Hence the map from E{V.)q to the second
iterated hocoUm above is also a weak equivalence, and the map
E{V.)q -^ E{W.)q
is a weak equivalence. D
Theorem 3.9. Suppose that E is a covariant functor from proper mor-
phisms between schemes to connective spectra which satisfies properties (1)-
(3) hut not necessarily properties (4) and (5). Then, if /. : X. — > Y. is a
proper hyperenv elope between simplicial S -varieties, each having proper face
maps, E{f.) : E[X.) — > E{Y.) is a weak equivalence.
Proof. The proof of this result is essentially already in [12] and [13] , but for
completeness we indicate how the proof differs from that of Theorem 13.41
The only difference is in the proof of the analog of Proposition 13.71 which
states that ii p : X ^tY \s ai\ envelope, then
^(cosk^(X).) ^ E{Y)
is a weak equivalence. As in the proof of Proposition 13. 7[ using localization
and noetherian induction on the closed subsets of Y it is enough to know
that for any Y there is a non-empty Zariski open subset U <ZY such that
E{cos\i^{p-^{U)).) -^E{U)
is a weak equivalence. However, since p is an envelope, if r/ is a generic point
of a component of Y there is an open neighbourhood U of r] such that the
map pu : p~^{U) — > U has a section, and hence the map above is a weak
equivalence by Lemma 13.51 D
4. Review of K-theory
4.1. The homology theory associated to G-theory. As in [13], we view
the iiT-theory of coherent sheaves as a covariant functor from the category
of proper morphisms between schemes to the category of Waldhausen cat-
egories (here we follow the terminology of [32], 1.2.3, rather than use the
original terminology "category with cofibrations and weak equivalences"),
by sending X to the category of bounded below complexes of flasque sheaves
of Ox-modules which have bounded coherent cohomology; see op. cit. 3.16.
Indeed this is a strict functor, and composing with the /f -theory spectrum
functor, we get, as in [inj, a covariant functor from the category of proper
morphisms between S'-schemes to the category Spectra of symmetric spec-
tra of [19]. We then compose with the Q-localization functor (smash product
with the Eilenbarg-Maclane spectrum -ffQ) Spectra -^ Spectra^, to ob-
tain the ET-theory functor that we will use: X. i-^ G{X.) € Spectra^. Note
28 HENRI GILLET AND CHRISTOPHE SOULE
that we are following Thomason's notation (G-theory) , rather than Quillen's
(ET'-theory).
Since we also want G-theory to be contravariant with respect to flat (and
in particular etale) morphisms, it will be important to consider our com-
plexes of sheaves to be sheaves of Ox-modules in the fppf topology. Since
being flasque is compatible with flat base change, the resulting Waldhausen
category is equivalent, and hence has the same G-theory, as the category of
complexes of sheaves in the Zarisksi topology.
We extend the G-theory functor first of all to the category of (degreewise)
proper morphisms between simplicial schemes with proper face maps by
taking the homotopy colimit of the associated simplicial spectra. We may
then extend one step further to the category Ar(sP) with objects proper
morphisms f.:Y.^ Z. between simplicial simplicial schemes with proper
face maps, and morphisms {gY,gz) : (/i : ^i — * ■2^i) — ^ (/2 : ^2 —^ -^2) pairs
of proper maps such that gz ° fi = f2 ° gr, by setting G(/. : Y. -^ Z.) :=
Cone(G(/.)).
From theorem 13.41 we have:
Theorem 4.1. Let f.:X.^ Y. be a morphism between simplicial simplicial
schem,es with proper face maps which is a proper hypercover. Then G{f.) is
a weak equivalence.
4.2. G-theory of stacks.
Definition 4.2. If X is a stack, we define the G-theory spectrum G(X)
to be H(5t(X, G), where G is the presheaf of (Q-localized) spectra on the
etale site induced by the functor G. See [13], though here we are using the
hypercohomology of (pre-)sheaves of spectra in the sense of [20j .
It follows from etale descent for rational G-theory (due to Thomason,
(Theorem 2.15 of [31j) that this definition is consistent with the definition
for schemes. In particular, we have:
Lemma 4.3. If n : V. ^ X is an etale hypercover of a Deligne-Mumford
stack, the natural map:
G(X)^holimi(G(KO)
is a weak equivalence.
Lemma 4.4. Let ^ be a closed substack of the stack X, with complement
ii. Then there is a fibration sequence
G(2)) ^ G(X) ^ G(il)
in which i : 2) — > X and j : it ^ X are the inclusions.
Proof. Since G(X) is the hypercohomology Rr(X, G^) of the presheaf G^ :
V I— > G{V) on the etale site of X, it suffices to observe that for each etale
MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 29
morphism p :V ^ X from a scheme V to X, we have a locahzation fibration
sequence
G{V xxV) ^ G{V) ^ G{V xxii)
and hence an isomorphism
R,r2)(G) ~ iif Gsj) .
Note that this also follows easily from the previous lemma and the fact that
Holim preserves fibration sequences. D
The functoriality of G for morphisms of stacks is a more complicated
question. In [13j pushforward maps were only constructed for proper repre-
sentable morphisms of stacks. However we may replace stacks by simplicial
varieties, as follows:
Let J? : X. — > X be a proper morphism to a stack from a simplicial variety
with proper face maps. Let vr : K — > X be an etale hypercover of X, such
as the nerve Coskg (y) of an etale presentation y — > X. Then we have a
commutative square:
X. ^-^— X. xxV.
V.
For each i, since X. x^ ^ — > V^ is proper, we have a map
G(X x^Vi) = hocolimj(G(Xj x^Vi)) -^ GiVi)
which is contravariant with respect to i (since we have constructed G to be
strictly compatible with flat base change). Therefore, we get a diagram:
G(X) -^^ holimiG(X x^V^)
V*
G(X) -^^ holimi(G(y.))
in which the bottom horizontal arrow is a weak equivalence. Hence we get
a map (up to homotopy) p* : G{X.) — > G(X), which it is straightforward
to check (again using the fact that G is strictly compatible with flat base
change) does not depend on the choice of etale hypercover vr : F. — > X.
Furthermore, if /. : y. — > X. is a map of simplicial varieties, using the fact
that push forward commutes with flat base-change, we have that
(P • /)* =P*-h: G{Y.) ^ G(X)
in the rational stable homotopy category.
In order to show that this construction gives an extension of G-theory
from simplicial varieties to stacks, we need:
Lemma 4.5. Suppose that p : X. ^ X is a proper hypercover. Then p* :
G{X.) -^ G(X) is a weak equivalence.
30 HENRI GILLET AND CHRISTOPHE SOULE
Proof. Since both the G-theory of X. and of X are compatible with local-
ization, we may proceed by noetherian induction on X. By Proposition 11.31
every Deligne-Mumford stack has a non-empty dense open set which is a
quotient stack. It therefore suffices to show that if j£ = [V/T] for F a finite
group, then G{X.) -^ G{X. xxCoskg (V)) is a weak equivalence. However
Coskg {V)) is just the bar construction {E.T x V)/T for the action of T on
V, hence
X. xxCosk^(F) ~ (^.r X (X xxV))/r .
It is then straightforward to check, since we are taking G-theory with ratio-
nal coefficients, and since for each j, Xj XxV ^ Xj is a finite etale Galois
cover with group T, that
holimj(j ^ GiEjF X {Xj XxV))/r)
is simply the F-invariants of G{X. x^V) and the map
G(X) ^ holimj(i ^ GiEjF x (Xj xxV))/r)
is a weak equivalence with inverse induced by the transfer G{X. XxV) ^
G{X.) (divided by the order of T). D
Theorem 4.6. Let / : X — > 2) be a proper, not necessarily representable,
morphism of stacks. Then there exists a canonical map (in the homotopy
category)
G(X) ^ G(2))
with the property that for any commutative square:
X. — ^ Y.
f
2)
in which p. and q. are proper morphisms with domains simplicial schemes
with proper face maps, we have a commutative square in the stable homotopy
category:
G{X.) -^ G(y.)
G(p.)
G(g.)
G(X) -^^ G(2))
Proof. To define the map /* : G(X) -^ G(2)), pick any proper hypercover
p : X. — > X, and set /* = (/ -p)* • {p*)^"^ . Since p* is functorial with respect
to p : X. —> X, the map /* does not depend on the choice of p. Given a
commutative square as above, the fact that associated square of G-theory
spectra is also commutative is a consequence of the same functoriality for
simplicial schemes over 2). D
MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 31
Definition 4.7. We shall call a morphism of stacks / : X ^ 2) a G-
equivalence if G(/) is an equivalence.
Theorem 4.8. If X is a stack, the natural map X -^ \X\ from the stack to
its coarse moduli space is a G- equivalence.
Proof. Assume G is a finite group acting on some affine scheme U, and
H C G is a normal subgroup acting trivially on U and such that G/H acts
freely on U. A standard transfer argument shows that the map G{[U/G]) — >
G{U/G) is an equivalence. Since every stack has a dense open subset which
is of this type one can use localization and noetherian induction to conclude
the proof. D
5. Weight complexes for varieties and stacks
5.1. Introduction. In this section we prove the extension of the main the-
orem of [14J for varieties and stacks over S, where 5 is a base scheme sat-
isfying the conditions of the introduction. In particular, this includes the
cases S = Spec(OA') for Ok the ring of integers in a number field, and
S = Spec(A;) for k a field of characteristic different from zero.
As in section 5 of op. cit. we shall use iCo-™otives (but with rational
coefficients) rather than Chow motives. (Manin, in [25], seems to have been
the first to mention using i^o-n^otives.) The proofs in this section are often
variations on those in |14j, but we shall give proofs again where the current
situation merits it.
5.2. iCo-correspondences.
Definition 5.1. If X and Y are regular, projective, ^-varieties, we will write
KGsiX,Y) for Go{X XsY)q, and call it the group of "ii'o-correspondences
from X to y" .
Note that X XsY is not in general regular; however since Y is regular,
Oy is of finite global tor-dimension, and hence there is a bilinear product,
given X, Y and Z regular, projective, S'-varieties :
* : Go{X xs Y) X Go{Y xs Z) ^ G^{X xs Y xg Z)
i>0
Composing with the direct image map {pxz : X x sY x z Z ^^ X x s Z being
the natural projection):
{pxzh ■■ Go{X Xs YxsZ)^ Go{X xs Z)
we get a bilinear pairing:
Go(X Xs Y) X Go{Y xs Z) ^ Go{X xs Z)
and hence:
KGs{X, Y) X KGsiY, Z) ^ KGs(X, Z) .
The proofs of the following lemmas are straightforward so we omit them.
32 HENRI GILLET AND CHRISTOPHE SOULE
Lemma 5.2. Given regular varieties X,Y, Z and W projective over S, and
elements a G KCs{X, Y), j3 (^ KCs{Y, Z), 7 G KCs{Z, W) we have
7 o (/3 o a) = (7 o /3) o a .
Given a morphism / : X — > K of regular varieties, projective over S*, with
graph T/ C X X5 y, we write r(/) for the class [C'r(/)] G KCs{X, Y).
Lemma 5.3. If f : X ^ Y and g : X ^ Y are morphisms of regular
varieties, projective over S, we have
r{gof) = Tig)oT{f).
Furthermore, if X and Y are regular projective varieties over S, and a G
KCsiX, Y), then T{1y) o a = a o r(lx) = a.
Definition 5.4. We write KCs for the category with objects regular pro-
jective varieties over S, and homsets the KCs{X,Y) for X and Y objects
in KCs, and identity r(lx) G KCs{X,X) for each X.
Clearly F is a covariant functor from the category of regular projective
varieties over S to the category KCs- Note that KCs is a Q-linear category.
Observe that T extends to a functor from the category of simplicial vari-
eties which, in each degree, are regular and projective over S to the category
of chain complexes in KCs by associating (in the usual fashion) to X. the
complex
n 1-^ T{Xn)
n
with differential X^ (-l)^(di)* : r(X„) ^ r(X„_i).
i=0
Lemma 5.5. The functors Gi for i > 0, where Gi{X) is Ki of the category
of coherent sheaves of Ox modules, factor through T .
Proof. Give a G KCs{X,Y), we need to define Gi{a) : Gi{X) -^ Gi{Y).
We start by observing that for X regular, Ki{X) ~ Gi{X), and so if px •
X XsY ^ X and py '■ X 'XgY ^>Y are the projective, we can define
Gi{a) : X 1-^ PY*ip*xix) n a)
where
n : K,{X xsY)(^ Go{X xgY)^ G^{X Xs Y)
is the natural cap product.
Let Z he a regular projective variety and (3 G KCs{Y, Z). We want to
show that
(B). Giip) o G^ia) = G^ip o a) .
MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES
33
Consider the diagram of maps
XxsYxsZ
q
YxsZ
X XsZ
Z X
X the obvious projection. If a; G Ki{X) we
= qz*iQYiPY*ip*xix)r)a))np)
X Y
and call u: XxsYxsZ^
have
Gi{/3) o Gi{a) {x
and
G^{/3oa){x)= rz*(r^(x)n(r, (a */?)))
= rz*{r^{u*{x) n {a * 13))) (projection formula for r)
= qz*q*iu*{x)ri{a* P)) .
Letting (^ = p'^{x), it is enough to show that
(A) q*Y{PY*{^ na))ni3 = q.{p*{0 n (a * /?)) .
Let J-"' be a complex of coherent sheaves on X x^y which is acyclic with
respect to py and represents a G Go{X xgY). For any locally free sheaf £" on
X xgY, the complex £®!F' is still acyclic with respect to py and its derived
direct image by pY is py*{£ <8) -^')- On the other hand, let Z C P§ be a
projective embedding of Z and Q' a complex of coherent sheaves on Y x^P^
which is flat on Oy and acyclic outside Y Xs Z, and which represents (3 in
the iT-theory with supports
kI'''\Yxs^'I) = G^{YxsZ).
Let qY : Fx^Pf ^Y,q: XxsYxsF^ -^ YxgF^ andp : XxsYxgF^ -^
X XsY he the obvious projections. By flat base change we know that
qY{pY*{£ ® r)) = q^p*{£ (g) r) .
Therefore, by the projection formula for q, and since Q is flat over Oy,
qUPY*{£^r))
C,,
g-
%{p*{£®r\
<s^^
C,
''(Gl)
<s^f
Up*{£)^p*{n^rm)-
The functor £ i-^ ^y (py*(6'(X).?^'))'^^ induces the map ^ i-^ 9y (py*(Cna))n/9
on higher X-theory, and the functor
£^Up*i£)^p*i^')^q*ig'))
induces the map ^ i-^ q*ip*{0 n (a * /3)). Therefore (A) and (B) follow. □
Definition 5.6. We set KM^ equal to the idempotent completion of KGs-
Note that these are homological motives.
34
HENRI GILLET AND CHRISTOPHE SOULE
The proof of the following theorem, given Lemma [5. 51 is the same as that
of Theorem 6 of [14] (which itself is a variation of Theorem 1 of op. cit.):
Theorem 5.7. Let
he a commutative square of m,aps between sim,plicial objects in the category
of regular projective varieties over S. Suppose that for all regular projective
varieties V over S, the associated square of spectra:
G{VyisX.) ^G{V^sY.)
G{VxsZ.)
G{V >csW.)
is homotopy cartesian. Then the associated square of complexes in KCs
is homotopy cartesian, i.e., the associated total complex is contractible, or
equivalently the natural map Co\ie{r ^{g .)) — > Cone(r*(/.)) is a homotopy
equivalence.
5.3. Weight complexes for simplicial varieties. Following section 2.2
of [Hj, we write Ar(Ps) for the category of morphisms in Pg, where Ps
is the category of proper, not necessarily regular 5-varieties, with objects
/ : y ^ X, and morphisms g ■ f ^ f commutative squares :
y
/'
-X'
9Y
9x
Y
X
We can also consider the category AT:{Pg
objects on Pg. A morphism
A°P^
of arrows between simplicial
g. ■■ {Y'
lied a p]
hypercovers. We have a functor
/.'
X') -^ [Y. -^ X.
in Ar(P^°'^) will be called a proper hypercover if both gy. and gx. are proper
r, : AiiRPf) -^ C^KCs)
from the category of arrows between simplicial regular projective varieties
to the category of chain complexes in KCs,
r,:(/.:X^y.)^Cone(r, (/.)).
We shall now show, following op. cit., that this functor induces a functor
from Av{Pg) to the homotopy category of C^{KCs).
MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 35
Theorem 5.8. The functor
AviRPf) ^ HoiCiKCs))
/•^ r,(/.)
has a unique extension to Ar{Pg ) with the property that proper hypercovers
map to homotopy equivalences.
Proof. The proof is the same as in |14j, § 2.2, using Theorem 1 1 . 71 instead of
Hironaka's resolution of singularities. The theorem is also Theorem 5.3.c) of
[21], apphed to Z)°p the category Pf, to C°p the full subcategory i^P^°^
to S the category of proper hypercovers, and to £■ = A^. (Note that Theo-
rem 5.3 in [21] was partly inspired by [14j.) D
We shall call a morphism g. in Ki{Pg) a universal G-equivalence if
after multiplying all schemes involved by any regular projective variety V ,
the corresponding square of spectra obtained by applying Gq is homotopy
cartesian. Theorem 15.71 tells us that if g. is a universal G-equivalence and
all schemes involved are regular then T^{g.) is a homotopy equivalence.
Using Theorem 1 and the same proof as in [H], end of § 2.2, we get
from this that if g. is a universal G-equivalence among arbitrary projective
schemes, then T^{g.) is a homotopy equivalence.
Theorem 5.9. There is a covariant functor
h-.Varf ^Ro{C,{KCs))
from the category of simplicial varieties over S with proper face maps and
proper morphisms to the category of homotopy classes of maps of complexes
of Ko-motives over S with rational coefficients, satisfying the following prop-
erties:
i) //, for all n >0, Xn is a regular projective scheme over S and h{Xn)
is the usual motive of Xn, h{X.) is the complex of motives
n
...^h{Xn) '^'-^ h{Xn-l)^...
ii) IfU.cX. is a strongly open simplicial subvariety of X. with proper
face maps and with complement T., then we have a triangle
h{T.) -^ h{X.) -^ h{U.) -^ h{T.)[l\ .
iii) // X. -^ Y. is a proper hypercover, the induced map h{X.) — > h{Y.)
is a homotopy equivalence.
Proof. Let X. be a simplicial variety over S with proper face maps. Accord-
ing to Proposition 12.16) there exists a proper hypercover X. — > X. with X.
a split simplicial variety. By Proposition 12.181 X. admits a compactification
X. with complement X.\X.. Let h{X.) be the image in Ho{Ctf{KCs)) of
the arrow X.\X. -^ X. (Theorem 15. Sp . We claim that h{X.) is functorial in
X. and does not depend on the choices made to define it.
36
HENRI GILLET AND CHRISTOPHE SOULE
Indeed, let / : X. — > y. be a map in Var^ and X. —>■ X. and Y . — s-
Y. proper hypercovers admitting compactifications X. and Y .. The fiber
product X. y.Y.Y . has a compactification X. x Y. which is the Zariski closure
oi X. xy Y . in X. 'KgY .. Then we get two commutative squares
X. X Y.\X. X Y. ^ X. X Y.
X.\X.
-^x
and
X. X Y.\X. X Y. ^ X. X Y.
^Y.
Y.\Y.
the first of which is a universal G-equivalence. Hence we get a map
hif) : h{X.) = T,{X.\X. ^ X.) ^ T,{Y\Y. ^ Y .) = h{Y.) .
When X. = Y. and / is the identity, both squares above are universal G-
equivalences and it follows that h{X.) does not depend on choices made to
define it.
Assume now that / : X. — > y. and g : y. — > Z. are proper maps of
simplicial varieties. Then the same argument as in |14j, §2.3 (except that
we replace "Gersten acyclic" by "universal G-equivalence" ) shows that h{g)o
h{f) = h{g o /), i.e. h{X.) is functorial in X..
When every Xn is regular and projective over S, n > 0, we can take
X. = X. = X., so Property i) is clear.
To check ii), let X. be a proper hypercover of X., with compactification
X.. Let U. (resp. T.) be the inverse image of U. (resp. T.) in X . and define
Y. = X.- X., Z. = X.- U.. We have inclusions Y. ^ Z. ^ X.. Consider
a proper hypercover of this diagram
y. ^Z'. ^X'.
Y.
Z.
X.
with y, Z' and X' in RPs- We get a triangle
r*(y' ^ z') -^ r,(y' ^ x') -^ v^{z[ -^ x')
r,(y'^z.')[+i].
Since Z\Y. = T. and X. is a compactification of both X. and [/., using
Theorem 15. 8t we can write this triangle as
h{T.) -^ h{X.) -^ h{U.) -^ h{T.)[l] .
Finally, to check iii), if / : X. — > y is a proper hypercover, X. -^ X.
a proper hypercover and X. a compactification of X., we notice that the
MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 37
composite map X. ^ y. is a proper hypercover so that hiY.) = r*(X.\X. — ;-
X.) = h{X.).
5.4. Weight complexes of stacks. We now prove Theorem 10.11 of the in-
troduction. Given a stack X and X. ^ X a proper hypercover by a simphcial
variety we define h{X) = h(X.).
Let / : X ^^ 2) be a proper map of stacks and X. — > X and 1". — > 2)
proper hypercovers of these. According to Lemma 12.151 the induced map
X. x<g Y. ^ X. is a proper hypercover. Therefore, by Theorem 15.91 iii). we
get a map
h{f) : h{X) = h{X.) = h{X. X25 Y.) ^ h{Y.) = /i(2)) .
If 5 : 2) ^ ^ is a proper map of stacks one easily checks that h{g o /) =
h{g) o h{f). When / = idx we get h{f) = id/j(x)) ^-e- h{X) does not depend
on the choice of X. .
Remark 5.10. If X is a stack, then for any variety (and hence for any simph-
cial variety) X, IIoms(X, X) is a groupoid. If / : X' ^ X and g : X" -^ X
are two proper hypercovers, then an isomorphism 9 : f ^ g induces a sec-
tion e : X' ^ X'. xx X" of the projection p' : X' xx X" -> X' and hence
the map h{X') -^ h{X',') induced by 9 coincides with the homotopy equiv-
alence h{p") h{p'.)~^, where p" : X'. Xx X'.' -^ X" is the second projection.
Therefore the functor X -^ /i(X) from the 2-category of stacks to the cate-
gory of homotopy classes of maps between complexes of motives maps each
2-morphism to the identity.
If 2) C X is a closed substack with complement it and if X. — > X is a
proper hypercover, U. = f~^{ii) is strongly open in X. with complement a
proper hypercover of 2). Therefore Theorem 15.91 ii) gives a triangle
If G is a finite group acting on a regular projective scheme X, and [X/G]
the quotient stack, a proper hypercover of [X/G] is the simplicial scheme
\X/G]
Coskp {X), which is isomorphic to {X x EG)/G, where EG is the stan-
dard contractible simplicial set with free action of G. In degree k > 1 we
have
h{X xG^)= e h{X)
(Si,...,gfc)GGfe
and so h{[X x EG)/G) is the chain complex computing the homology groups
H^{G,h(X)) in the Karoubian category of motives. Since the order of G
is invertible, this homology vanishes except for HQ{G,h{X)) = /i(X)*^, the
image of the projector -^^^ J2 9*-
g&G
To check that h{X) is homotopy equivalent to a bounded complex we first
need a lemma.
Lemma 5.11. /// : X ^ 2) is a finite, representable radicial map of stacks,
the induced m,ap G(X) —^G{^)isa weak equivalence.
38 HENRI GILLET AND CHRISTOPHE SOULE
Proof of Lemma. Let 1". — > 2) be a proper hypercover of 2). Since / is
representable, X. : X X(g y. is a simplicial scheme and the natural map
X. ^ X is a proper hypercover. Let g : X. ^ Y. he the induced map.
Since / is finite and radicial each gi : Xi ^ Yi is finite and radicial and
so (|28j) gi^ : G(Xj) -^ G(l^) is a weak equivalence. Taking homotopy
colimits we get that g^: : G{X.) -^ G{Y.) is a weak equivalence, and by 14.61
G(X) ^ G(2)) is a weak equivalence. D
To prove that h{X) is bounded we can assume, by noetherian induction,
that X is irreducible. By Proposition 11.31 there is a dense open il C X
which is a quotient stack and, by noetherian induction, we just need to
show that h{ii) is bounded. The quotient stack il admits some equivariant
compactification (Lemma II. 4p [V^/G] = V proper over S. By induction
on dimension it is enough to show that R{V) is bounded. By resolution
of singularities (Theorem II. 8p there exists a proper morphism of quotient
stacks
p : [Y/H] -^ V
where Y is regular and integral and a dense open substack W C V such
that the induced map p~^{W) — > W is representable and radicial. We
need to show that h{V) is bounded i.e., again by induction, that h(W)
is bounded. From the previous lemma, p^^{W) ^ W is a universal G-
equivalence, therefore /i(W) = h{p~^(W)). But, since Y is proper and
regular h{[Y/H]) is bounded hence, by induction on dimensions, h{p~^{}V))
is bounded.
This ends the proof of Theorem 10.11 D
Corollary 10.21 follows from Theorem 10.11 be letting XciX) be the class in
i^o(KM5') of the complex h{X) (compare Ll4j, Lemma 3 and Theorem 4).
5.5. Chow motives. If 5 = Spec(A;) with k a perfect field (of arbitrary
characteristic), there are three possible categories of motives that we could
consider:
(1) The category KMfc of -fCo-™otives over Spec(A;).
(2) The category CHM^ of effective Chow motives over Spec(fc), which
is the pseudo-abelian completion of the additive category in which
morphisms are degree zero correspondences, modulo linear equiva-
lence, between smooth projective varieties over k, as in section 5 of
[25].
(3) The category CHM^ which is the pseudo-abelian completion of the
additive category in which morphisms are all correspondences, mod-
ulo linear equivalence, between smooth projective varieties over k.
We can also take any or all of these categories with rational coefficients,
getting categories KMjtQ, CHM^q and CHM^q.
Remark 5.12. If we do not assume that k is perfect then we should take
the category of all regular projective varieties over k. We can still define
MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 39
CHM^ and CHM^ as above. Since the product of two regular varieties
will no longer necessarily be regular the composition of correspondences is
harder to define.
For any smooth variety V over k the Chern character ch : Kq^V) — s-
CH*(y)(Q induces an isomorphism ch : Kq{V)q — s- CH*(y)Q. Therefore,
given varieties X and Y, the map:
t:Ko{XxY)q -^ CR*iXxY)Q
a ^ ch{a)p*Y{Td{Y))
where py : X x Y ^ Y is the projection onto the second factor, is an
isomorphism of Q- vector spaces, since the Todd genus is a unit in the Chow
ring.
Suppose that a G Ko{X x Y) and (3 G Ko(Y x Z) are /fo-correspondences
from X to Y and from Y to Z respectively. Then, by the Grothendieck
Riemann-Roch theorem, [3], we have:
T{P-a) = ch{pxz*{p*xYic^)P*Yzm)P*ziT'^iZ))
= pxz*ichip*xYic^)p*YzmPYiT'diY))p*z{Td{Z)))
= Pxz*{P*XYcHa)p*YzchiP)p*Y{Td{Y))p*z{Td{Z)))
= PXZ*{p*XY'T{a)P*YZ'T{l3))
= r(/3)-r(a).
Therefore r is compatible with composition of correspondences, and hence
gives an isomorphism of categories:
KMfcQ ^ CHMfeQ.
If / : X — > y is a morphism, and ^j : X ^f X xY \s the induced map,
which is an isomorphism onto the graph r(/) of /, since the normal bundle of
r(/) d X xY \s isomorphic to f*(TY) (the pull back of the tangent bundle
of Y), the Grothendieck Riemann-Roch theorem for 7^ gives r([C'p('/-)] =
[r(/)], and so the functor r respects the natural functors from the category
of smooth projective varieties to the two categories of motives.
Since the functor r is an isomorphism, we have have an isomorphism:
Ko(KMfcQ) ^ Ko(CHMfcQ).
Since the degree zero correspondences from XtoY are a subgroup of the
group of all correspondences from X to Y, and the inclusion is compatible
with composition, we get a functor CHM^ -^ CHM^. This functor pre-
serves idempotents and is therefore exact, and so induces a homomorphism
on the associated Grothendieck groups:
KoiCUMl) ^ Ko(CHMfc).
From Corollary 10.21 and the isomorphism KoCKNlkQ) -^ KQ^CHWlkQ),
we get:
40 HENRI GILLET AND CHRISTOPHE SOULE
Corollary 5.13. Given any reduced variety X over k one can define an
element Xc{X) G iro(CHMfcQ) in such a way that
i) If X is smooth and projective, XciX) is the class of {X,Ax), where
Ax is the diagonal in X x X .
ii) If Y C X is a closed subset, the equality
Xc{X) = Xc{Y) + Xc{X \Y)
holds in iv:o(CHMfcQ).
One can also prove the existence in Kq{C'H.'WvIq) of an Euler character-
istic satisfying i) and ii) above (and mapping to Xc{X) in A'cICHM^q))
by using the method of p^. Indeed Theorem 13.41 above shows that if
f. : X. ^ Y. is a proper hypercover between simplicial varieties having
proper face maps, the induced map of Gersten complexes tensored with Q
is a quasi-isomorphism. If we use this fact instead of Proposition 1 in [14] ,
the whole argument in op. cit. remains valid (after tensoring with Q) and
the existence of an Euler characteristic in ii'o(CHM^Q) follows as in |14j .
Theorem 4. When k has characteristic zero, this Euler characteristic is the
image of the Euler characteristic in i^o(CHM /c) constructed in [T3], |17j .
m-
5.6. A variant. Let £ be a prime integer.
Definition 5.14. Ii f : X ^ Y is proper and surjective morphism, we say
that / is an ^'-envelope if, for every point y G Y, there is an a; G X s.t.
f{x) = y and k{y) C k(x) is a finite algebraic extension of degree prime to
e.
It follows from a result of Gabber [8] that if X is an irreducible reduced
separated scheme flat and of finite type over Spec(i?), for R an excellent
Dedekind ring with i invertible in R, there exists an -^'-envelope X' ^ X
with X' regular.
If V is the class of ^'-envelopes; then V satisfies the conditions of §2.2,
and so we can talk of a map f.:X.^> Y. of simplicial schemes being a
"hyper ^'-envelope" . One may then show, by the methods of section [3.41
that any homology theory E on the category of varieties taking values in
the category of spectra, localized away from £, satisfies descent with respect
to hyper ^'-envelopes, and that one has a functor, for S = Spec(i?)
Stacks ^ Ro{C^{KCs;Z(^e)))
from the category of Deligne-Mumford stacks of finite type over S to the
category of homotopy classes of complexes of i^o-motives over S with Z(£\-
coefficients with the properties of Theorem 10.11 except that we do not know
if it takes values in the subcategory of complexes homotopy equivalent to
bounded complexes.
MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 41
6. CONTRAVARIANCE OF WEIGHT COMPLEXES
6.1. A Category of complexes of sheaves. In this section V will be the
category of varieties (= reduced separated schemes of finite type) over a field
k.
Definition 6.1. If X is a variety, we say that a quasi-coherent sheaf J- on
X is strongly acyclic if for every morphism of varieties f : X ^>Y and every
quasi-coherent sheaf Q of Ox-modules,
for j > 0. We say that J- is universally strongly acyclic, if for every morphism
of varieties / : X ^ y, all morphisms Z ^ Y , and every quasi-coherent
sheaf Q of O^xyX-modules,
where fz is the base change of / by the morphism Z ^>Y .
The example that we have in mind is:
Lemma 6.2. If j : U = Spec(A) ^^ X is an affine open subset, and if
T = 2*^ J for M the quasi- coherent sheaf of Ou-modules associated to the
A-module M , then T is universally strongly acyclic.
Proof. First of all observe that since varieties are separated, any morphism
g : U ^ Y of varieties with affine domain is an affine morphism, and so
EJ'gif{M) = for z > 0. It then follows by a standard spectral sequence
argument that J*M is acyclic with respect to any morphism f : X ^Y .
Furthermore, if t/ is a quasi-coherent sheaf on X, then j*Q is quasi-
coherent (= QiJJ))., and
We see, therefore, that M is strongly acyclic. Finally, \el f : X ^> Y and
Z ^ Y he morphisms of varieties; since higher direct images with respect
to
fz-.ZxyX^Z
can be computed locally on Z, we may suppose that Z is affine. But then
(separation again!) Z Xy [/ is an affine open subset of Z Xy X and writing
jz '. Z Xy U ^ Z Xy X for the inclusion, we have:
j^M®Ox Oz^yX ^ {3z)*{M®Ou OzxyU)-
But M ®Ou OzxyU is again a quasi-coherent sheaf on an affine open, and
so j*{M) i^Ox ^ZxyX is strongly acyclic. Thus j*M is universally strongly
acyclic.
D
Note also, that by a standard spectral sequence argument:
42 HENRI GILLET AND CHRISTOPHE SOULE
Lemma 6.3. If f : X ^ Y is a morphism, and!F is a strongly acyclic (resp.
universally strongly acyclic) quasi- coherent sheaf of Ox-'fnodules, then f^T
is strongly acyclic (resp. universally strongly acyclic).
Given varieties X and Y, we let C{X,Y) be the following Waldhausen
category (also referred to as a category with cofibrations and weak equiva-
lences, but here we follow the terminology of |32j).
The objects of C{X,Y) are bounded complexes of J* of quasi-coherent
Oxxy-modules, such that
• each 5^* is flat over X;
• the cohomology sheaves of ^' are coherent with support proper over
Y
• each 5^* is universally strongly acyclic.
The cofibrations in C{X,Y) are the monomorphisms ^' -^ Q' with cokernel
in C(X, y), and the weak equivalencies are the quasi-isomorphisms.
Lemma 6.4.
1) Let f : X' ^ X be a morphism of varieties and T' an object in
C{X,Y). Then (/ x ly)*(J^) lies in C{X',Y).
2) Let p : Y ^ Y' be a proper morphism of varieties. Then (Ix x
p)*ir) lies inC{X,Y').
Proof. The first assertion is a basic property of sheaves of flat modules.
Turning to the second assertion, given the previous lemma, we need only
show that {Ix x p)^,{J^') is Ox-flat. IfO^^— >;B^C^Oisan exact
sequence of Ox-modules, then -^ A®Ox -^ ~^ B(dox -^ ~^ C(^Ox J^ —^
is exact. By universal acyclicity, the push forward of this sequence is still
exact, and hence (Ix x p)^:(T') is still Ox-flat. D
By the hypothesis on the objects in C{X,Y), both p^ and /* are exact
functors preserving weak equivalences. Furthermore, we can rigidify these
categories by choosing inverse images with respect to all / : X' ^ X. Direct
images are already "rigid" , and so we get a functor
V°P X V ^ Waldhausen Categories
{X,Y)^ C{X,Y)
If X is a variety, let us write C{X) for the Waldhausen category of com-
plexes of quasi-coherent sheaves of Ox-modules with bounded coherent co-
homology, and weak equivalences given by quasi-isomorphisms. Recall [32]
that the i^-theory of this category is naturally isomorphic to the G-theory
of X.
If X and Y are varieties, and p : X xY ^ X and q : X xY ^ Y are the
projections, observe that if !F' is an object of C{X,Y), then
defines an exact functor
c(x) ^ c(y)
MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 43
and furthermore it is straightforward to check:
Lemma 6.5.
c(x) X c{x,Y) ^c(y)
is a bi-exact functor.
Equivalently, we have an exact functor from C(X,Y) to the exact cate-
gory Exact(C(X),C(y)) of exact functors from C{X) to C(y). Not sur-
prisingly, we have a composition law on the categories C{X,Y), which it is
easy to see is compatible with composition:
Exact(C(X),C(y)) X Exact(C(y),C(Z)) -^ Exact(C(X), C(Z)) .
Lemma 6.6. Given a triple of proper varieties X, Y , Z , then we have a
hi- exact functor:
7x,y,z : c (X, y ) X c (y, Z)^ C{X,Z)
where p : X xY x Z ^ X xY , q : X xY x Z ^ Y x Z , andr : X xY x Z ^
X X Z are the projections. Furthermore, given four varieties we an obvious
isomorphism,
lx,z,w ■ {lxx,z X Ic{z,w)) — ixy.w ' (-^c(x,y) x 1y,z,w)
Proof. It is a straightforward exercise using the definition of C(X, y) to
check both that r^{p*{Q') ®Oy Q*{^)) is indeed an object in C{X,Z) and
that jx,Y,z is biexact. D
6.2. Enriching the category of varieties over the category of chain
complexes. It will be convenient to work not with i^-theory spectra but
with chain complexes which compute rational iT-theory. Recall that if A
is a spectrum, then 7r^,(A) (g) Q ~ H^{A,Q). If £ is an exact category
then, following [26], we have an explicit chain complex M^[£) which com-
putes i?*(K(£'), Q). It is the complex associated to the cubical object which
in degree n is the Q-vector space spanned by the set of n-cubes of exact
sequences. (See [30] for a nice exposition of this construction.) This con-
struction is functorial in the sense that an exact functor 'y : £ ^t T induces a
map of chain complexes M^,["f) : M^[£) -^ M^{J^), and that an isomorphism
between functors 7^7' induces a homotopy between M*(7) and M*(7').
One important feature of this construction is that if £, T and Q are exact
categories, and n : £xJ^ —^ Q is a biexact functor, then given an 7n-cube a of
exact sequences in £ and an n-cube /? of exact sequences in J^, n{a, (3) is an
(m + n)-cube of exact sequences in Q. Clearly if either a or /? is degenerate,
their product is too, and thus we have a pairing:
M,{fi) : M4£) ®Q Af,(^) ^ M,{g) .
Suppose that £ is an exact category and w is a subcategory of £ so that
(£',w) is a category with cofibrations (= to the admissible monomorphisms
44 HENRI GILLET AND CHRISTOPHE SOULE
in £) and weak equivalences. Then we have a fibration sequence of i^-theory
spectra
K(£:^) ^ K(£:) ^ K(w^)
[33], 1.6.4 and [32], 1.8.2. Observe that M*(.?*) is a subcomplex of M*(£'),
since a degenerate cube of exact sequences in £ which hes in £^ is degenerate
as a cube in £"" . Hence we have:
Lemma 6.7. The rational K-theory of the Waldhausen category (£',w) is
computed by the chain complex
Furthermore, {£,'w) i— > M*(wi?) is a covariant functor from exact categories
to chain complexes.
Definition 6.8. If X and Y are varieties, we shall write M^:{X,Y) for
M4C{X,Y)). We then have a functor:
V°P X V -^ Chain(Q)
{X,Y) ^ M4X,Y)
where Chain(Q) is the category of chain complexes of Q-vector spaces.
Proposition 6.9. // X is regular and projective, the natural functor from
C{X,Y) to the Waldhausen category of all bounded complexes of quasi-
coherent sheaves with coherent cohomology on X x Y induces an isomor-
phism on K-theory, and hence a weak equivalence of K-theory spectra:
KC{X,Y) ~G(X X Y) .
Proof. By [32] 1.9.7 and 1.9.8 it is enough to show:
i) Any bounded complex G' of quasi-coherent sheaves on X x y is
isomorphic in the derived category to a bounded complex ^' of uni-
versally strongly acyclic quasi-coherent sheaves with each 5* flat over
X.
ii) Any bounded complex Q' of quasi-coherent sheaves on X x Y with
coherent cohomology is quasi-isomorphic to a bounded complex of
coherent sheaves.
Assertion ii) is a standard fact, since any quasi-coherent sheaf is a direct
limit of coherent sheaves.
To prove i), we have to deal with two issues, flatness and universal strong
acyclicity. The approach we take addresses both issues simultaneously. If V
is a quasi-compact separated scheme, and il = {f/j}"^]^ is a finite affine cover
of V, il determines a diagram in the category of affine schemes, with vertices
the non-empty intersections C// (0 7^ / C {1, . . . ,n}) of opens in the cover
and arrows the inclusions. Following [l] we define a quasi-coherent il-module
971 to be a family Mj of Oy(C//)-modules, together with maps M/ — > Mj
if / C J which are (Dv(Uj) linear and which satisfy the obvious presheaf
condition. A sequence of il-modules is exact if the induced sequences of
MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 45
Cy(f^/) modules are exact for all /, and a 11- module Tl is flat if all the Mj
are flat.
There is an obvious exact functor from quasi-coherent sheaves on V to
quasi-coherent it- modules, sending a quasi-coherent sheaf .F to the it- module
Uj 1-^ J-{Ui). On the other hand, given a quasi-coherent it-module 9Jt, there
is a Cech complex C*(S!Jt) which is a bounded complex of quasi-coherent
sheaves, and which is functorial with respect to OJt. Since the sheaves in
the complex are all direct sums of direct images of quasi-coherent sheaves
on affine opens they are universally strongly acyclic. If ^ is the it-module
associated to a quasi-coherent sheaf !F on V ^ then C*{^) is just the standard
Cech resolution C*(il, JF) which is quasi-isomorphic to 5^. It is shown in
section (1.2) of op. cit that the functor 9JI i-^ C*{W) is exact, and that
if W is flat as a it- module, then C*(9Jt) is a complex of flat quasi-coherent
sheaves on V. Furthermore any quasi-coherent it-module is a quotient of a
flat quasi-coherent it-module. Suppose now that Q* is a bounded complex
of quasi-coherent sheaves on V. Let (5* be the associated complex of quasi-
coherent it-modules, and choose a resolution ^* of (5* by flat quasi-coherent
it-modules. If we then then apply the functor C* we obtain a complex
C*(5*) of universally strongly acyclic flat quasi-coherent Oy-modules quasi-
isomorphic to Q* .
Returning now to the situation of part ii) of the theorem, suppose that
Q* is a bounded complex of quasi-coherent sheaves of X x ^-modules. Since
we assume that X is regular, Ox has finite global tor-dimension. Hence if
5"* is a flat resolution of ©* as above, for sufficiently large k, the kernel of
5""^ -^ 5^"'^"''^ while not flat as an OxxY module, will be flat as an Ox-
module. Hence taking the "good" truncation of the complex ^* at that
point we obtain a finite resolution ^ of <3* by Ox-flat it-modules, and so
on applying the functor C* we obtain a bounded complex, isomorphic in the
derived category to G* , of universally strongly acyclic quasi-coherent sheaves
which are flat over Ox- D
Corollary 6.10. Suppose that X is regular and projective, Y is an arbitrary
variety and Y' C Y is a closed subscheme with open complement U. There is
map M^{X, Y) -^ M^{X, U) (since the restriction of an object 5' in C(X, Y)
to X X U is clearly in C{X, U)). Then the associated sequence of maps of
complexes:
M^X, Y') -^ M*(X, Y) -^ M^X, U) .
induces a quasi-isomorphism from the cone of the map
M^{X,Y')^M4X,Y)
to M^{X,U).
Proof. This follows from Quillen's localization theorem, which implies that
G{X X Y') -^ G{X X y) ^ G{X X U)
is a fibration sequence of spectra. D
46 HENRI GILLET AND CHRISTOPHE SOULE
Definition 6.11. Let X be a variety, and Y. a simplicial variety witli proper
face maps. Then we define
M^{X,Y.) := ToUiJ ^ M^{X,Yj)) .
If p. : Y. ^ Z. is a morphisni between simplicial varieties with proper
maps which is proper in each degree, we define
M^X, p.) := cone (M,(X, Y.) -^ M^X, Z.)) .
If X. is a simplicial variety, we define (with notation as above)
M,(X,y.) := TotP {i ^ M4Xi,Y.)) ,
i.e., Mk{X.,Y.) = n,M,+fc(X„y.)), and
M,(X,/3.) :=cone(M,(X,y.) ^M,(X,Z.)).
Note that since infinite products are exact, M*(X.,/3.) is isomorphic to
Totn(i^M,(Xi,/3.)) •
li a -.W. ^> X. is an arrow between simplicial varieties, we set
M,(a.,/3.) := coneM*(X,/3.) ^ M^{W., p. ))[-!] .
These constructions are all contravariant in the first variable, and covari-
ant in the second variable {e.g. with respect to morphisms between arrows of
simplicial objects in the category of proper maps between varieties). There
are also natural equivalences when two of these constructions should agree
; for example if X. = X is a constant simplicial variety, the natural map
M*(x,y.) ^M*(x,y.)
is a quasi-isomorphism.
Suppose that X., Y., Z. are all simplicial proper varieties. Then we have
a composition:
M,(x,y.) (g)M,(x,y.) ^ M,(x,z.)
which is associative up to homotopy, defined by
M,(X, Y.) M„(y. , Z.) ^ M,+„(X, Z.)
n MiiX„Yk)\®ll( MpiYn,Z,)]
j \.k+l=j+i I n \p+q=m+n /
^n( mxr.Zs)\
r \t+s=i+'m+r /
which for I + p = t, k and s = q, is induced by the pairings
Ml{Xj,Yk) Mp{Yn, Zq) ^ Mt{Xr, Zs)
and is zero otherwise.
MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 47
It is straightforward to check that this defines a category enriched over the
category of chain complexes of vector spaces (with respect to the monoidal
structure given by tensor product), with objects simphcial varieties.
Lemma 6.12. Let vr. : Y' . -^ Y. he a proper hypercover of simplicial vari-
eties with proper faces maps. Then, if X. is a simplicial regular projective
variety, the map
M^{X.,Y.') ^ M4X.,Y.)
is a quasi-ismorphism. Similarly, if vr : /3.' — > (3. is a map of arrows
•KY '^Z
with TTy and ttz proper hypercovers, we have a weak equivalence, for all
arrows a. between simplicial regular projective varieties
M,{a.,p')^M,{a.,p).
Proof. For a fixed Xi we know that M^:{Xi,Y,') -^ M^:{Xi,Y.) is a quasi-
isomorphism, by theorem 14. 1[ Since M^:{X.,Y.) is the inverse hmit, over
n > 0, of Toti {i 1-^ M^,{Xi,Y.),i < n) a standard hm argument shows
that M^:{X.,Y.') -^ M^(X.,Y.) is a quasi- isomorphism. A similar argument
gives the second assertion of the lemma. □
Lemma 6.13. Suppose that Z. is a simplicial variety with proper face maps,
and Y. C Z. is a closed simplicial suhvariety such that the complement
U. = Z.\Y. is an open simplicial suhvariety. Then, for all simplicial reg-
ular projective varieties X., the localization sequences
M,{Xi, Yj) ^ M.iXi, Zj) ^ M.iXi, Uj)
induce a fihration sequence
M,(X,y.) ^M,(X,Z.) -^M4X.,U.)
and similarly, if a. : W. -^ X. is an arrow in the category of simplicial
regular projective varieties, we have a (co)fihration sequence:
M^{a.,Y.) -^M4a.,Z.) ^M^{a.,U.).
Proof. Again a standard lim argument. D
Lemma 6.14. Let g : X ^ Y he a proper morphism in V, and F^ : X — >
X -kY its graph. Let Or^ he the object {Tg)^{Ox) in C{X,Y). Then if
p : Y' —I- Y is proper, p^{Org) = Cppog- (Note that this is an equality rather
than an isomorphism!). While if f : X' ^ X is a morphism, we have a
canonical isomorphism:
f*iOr,)^Or,^g.
Hence we have a well defined object in the big Zariski site over X, (/ : X' — ;•
X) ^ (r(3./))*(Ox') .
48 HENRI GILLET AND CHRISTOPHE SOULE
Proof. Exercise. D
On the category Chain(Q) of chain complexes concentrated in positive
degrees, Hq gives a functor to the category of Q- vector spaces, viewed as
chain complexes concentrated in degree zero, together with a natural trans-
formation
r? : Id ^ Ho .
This is the homological equivalent of taking the 0-th stage of the Postnikov
tower of a spectrum.
Hence, given a pair of objects X., Y. in RP , we get a map of cosim-
plicial simplicial chain complexes:
(i,j) ^ {M,{Xi,Yj) ^ KC{Xi,Yj))
since Ho(M=f(Xj,l^)) ~ KC{Xi,Yj), and therefore we have a homomor-
phism
Ho(M,(X,y.)) ^ }io{ToU{KC{Xi,Yj)) .
But the target of this homomorphism is equal to the homotopy classes of
maps r*(X.) — > r*(y.) (cf. §5.3). More generally, given arrows a. and (3. in
RP , we get in a similar fashion a morphism
7 : Ho(M*(a.,/5.)) -^ {Homotopy classes of maps r*(a.) -^ r*(/3.)} .
Proposition 6.15. Let f : a. = (W. -^ X.) ^ (3. = {Y. -^ Z.) be a map
of arrows in RP , so that we have a commutative diagram :
W.^^^X.
f
9
Y.^^Z.
of maps of simplicial regular projective varieties. Then there is a 0-cycle [f]
in M*(a.,/3.) such that 7 [/] is the homotopy class of the map r*(/).
Proof. It follows from Lemma |6.14| that the sheaves Or^. and Opg deter-
mine elements [Cr^J and [Org] in Mo{Wi, Yi) and Mo{Xj, Zj), respectively,
such that for all i, b^[Orf.] = a*[Org.], and which are compatible with all face
and degeneracy maps, and therefore define a 0-cycle [/] in M^:{a., j3.). On the
other hand, under the map 7, for each z, the class of [Or/.] in Kq C(Wi., Yi)
is the map r*(/j), and similarly for F^^, and so 7 [/] = r*(/). D
Let C'(X, Y) be the Waldhausen category of bounded complexes of quasi-
coherent sheaves of OxxY modules which are flat over X, and which have
coherent cohomology having support proper over Y .
Lemma 6.16. 1) The inclusion of Waldhausen categories
c{x,Y) cc'(x,y)
induces an isomorphism on K-theory.
MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 49
2) C'(X,Y) is contravariant with respect to X : given an object 5' in
C'(X,y) and a morphism f : X' ^ X, f*{d') G C'{X',Y).
Proof. Straightforward. D
We write M^(X, Y) for the complex M*(C'(X, Y)) computing the rational
iT-theory of C'{X,Y) . Suppose that / : X — > y is a flat morphism of
varieties. Pick a compactification i -.Y -^-^ Y with complement Z. Note that
i ■ f : X ^ Y is also flat. The structure sheaf of the graph of /, Opp is an
object in C'{X, Y) while Or^^f is an object in C'{Y, X). Notice that the pull
back of Orio/ to C'{Z, X) is identically zero. Hence [Opioy ] gives a 0-cycle in
the homotopy fibre of Ml{Y,X) -^ Mi{Z,X), which we denote Mi{{Z -^
Y),X). Now pick a non-singular hypercover vr : (Z. -^ Y.) -^ (Z ^ Y).
Again by contravariance of C'(-, ■) in the first variable, we get a class (which
we denote 7r*([Or„,])) in HoM^((Z. ^ Y.),X) ~ HoM,((Z. ^ Y.),X)
Now pick a compactification X of X with complement W. By localization,
we have a fibration sequence, writing a. = [Z . — > 1".),
M^{a, W) -^ M^{a,X) -^ M^{a,X)
and hence a class in
CGHo(M,(a,(VF^X))
which maps to vr* ( [Or^o ^ ] ) .
If p : (3 = {W. -^ X.) -^ (W -^ X) is a regular proper hypercover of the
arrow {W -^ X), by descent (|3.4p . we have that
p* : M,(a,/3) ^ M,(a, (1^ ^ X))
is a quasi-isomorphism, and hence we get a class p*(C)^^ € Ho(M*(a,/3)).
Now applying 7, we get a homotopy class of maps T^{a) — > r*(/3), i.e. a
map /* : h{Y) -^ h{X).
We can compare this construction with the one situation in which we have
already defined a pull back map, i.e. when / : f7 — > X is an open immersion:
Proposition 6.17. Let i : U ^> X is an open immersion between varieties.
Then the associated map of weight complexes h(X) — > h{U) which comes
from the definition of weight complexes, agrees with the map induced by
viewing Or^ 05 being quasi-isomorphic to an object of C{U,X).
Proof. Recall that the map of weight complexes is constructed as follows.
Pick a compactification X of X, and set Y = X\X and Z = X\U, so that
Y C Z C X, with all three proper varieties. We can find a diagram:
Y. > Z. > X.
Y > Z > X
50 HENRI GILLET AND CHRISTOPHE SOULE
with y — > y, Z ^ Z and X. ^ X all non-singular proper hypercovers.
Consider the induced commutative square:
Y. -^^ X.
Z. -^X.
Following Proposition 16.15^ we know that there is a corresponding 0-cycle
Mi^,{a,f3) which induces the corresponding map of weight complexes. By
localization and descent, M*(a,/3) ~ M^<(a., U) and by the compatibility of
the objects O-pg of lemma l6.14l with push-forward and pull-back on the source
and target of /, we see that the image of this zero cycle is exactly the 0-cycle
used to define pull back with respect to the fiat morphism i : U ^ X. D
Theorem 6.18. Let X,Y be projective varieties. Then there is a map
7 : Ko{CiX,Y))Q ~ Ho(M,(X,y)) ^ Rom{h{X) , h{Y))
which is covariant with respect to Y and contravariant with respect to X,
and which is the identity if X and Y are regular and projective (note that
then Kq{C{X,Y)) = Gq{X x Y)).
Proof. Let p : X. ^^ X and g : y. ^ y be non-singular proper hyper-
covers. Given ip G Kq{C{X,Y)), we have p*{(p) G Ho(M*(X.,y)) and
g* : M*(X., y.) — > M*(X., y) is a weak equivalence. Hence there is a unique
if G Ho(M*(X., y.)) such that q^ip) = p*{ip).
Applying the natural transformation 7 defined before 16.151 we get an
element
7(^)G//o(Hom(r,(x.),r,(y))).
That the homotopy class of this map does not depend on the choice of
p : X. ^ X and q : Y. ^ Y follows the same pattern as 15.91 Functoriality
with respect to X and Y is an immediate consequence of the fact that the
complex M^,{X,Y) is contravariant with respect to X and covariant with
respect to y. If X and Y are already regular, we take p and q to be the
identity and the assertion is clear. D
Notice that it follows from this result that if / : y ^ X is a morphism of
finite tor-dimension between projective varieties, then there is a well defined
map
f*:h{X)^h{Y),
since Or^ is quasi- isomorphic to an object of C{X,Y).
References
[1] Alonso Tarrio, L., Jeremas Lopez, A. and Lipman, J., Local homology and
cohomology on schemes, Ann. Sci. Ecole Norm. Sup. (4) 30 (1997), 1-39.
[2] BiTTNER, F., The universal Euler characteristic for varieties of characteristic zero.
Compos. Math. 140 (2004), no. 4, 1011-1032
MOTIVIC WEIGHT COMPLEXES FOR ARITHMETIC VARIETIES 51
[3] BOREL, A., Serre, J.-P., Le theoreme de Riemann-Roch. Bull. Soc. Math. France
86 (1958) 97-136.
[4] BOUSFIELD A.K. and Kan D.M. Homotopy limits, completions and localizations.
Lecture Notes in Mathematics 304, Berlin-Heidelberg-New York: Springer- Verlag.
[5] Conrad B., Keele-Mori theorem via stacks, unpublished notes,
http://www.lsa-unich.edu/~bdconrad/coarsespace.pdf
[6] DE Jong, A. J., Families of curves and alterations, Ann. Inst. Fourier 47, 2 (1997),
599-621.
[7] Deligne, p., Theorie de Hodge 111, Inst. Hautes Etudes Set. Puhl. Math. 44 (1974),
5-77.
[8] Gabber, O., Finiteness theorems for etale cohomology of excellent schemes. Confer-
ence in honor of P. Deligne on the occasion of his 61st birthday, IAS, Princeton,
October 2005.
[9] Gabriel, P. and Zisman, M., Calculus of fractions and homotopy theory, Ergebmsse
der Mathematik und ihrer Grenzgebiete, 35, Springer- Verlag New York, Inc., New
York (1972).
[10] Geisser, T., and Hesselholt, L., Topological cyclic homology of schemes, in Al-
gebraic A'-theory (Seattle, WA, 1997), Proc. Sympos. Pure Math., 67, Amer. Math.
Soc, Providence, Rl, (1999), 41-87.
[11] GiLLET, H., Riemann-Roch Theorems for Higher Algebraic K-Theory, Adv. in Math.
40 No. 3 (1981), 203-289.
[12] GiLLET, H., Homological descent for the A'-theory of coherent sheaves, in Algebraic
A'-theory, number theory, geometry and analysis (Bielefeld, 1982), Lecture Notes in
Math. 1046 (1984) 80-103, Springer, Berlin.
[13] GiLLET, H., Intersection theory on algebraic stacks and Q-varieties, in Proceedings
of the Luminy conference on algebraic A'-theory (Luminy, 1983), J. Pure Appl.
Algebra 34 (1984), 193-240.
[14] GiLLET, H. and Soule, C, Descent, motives and A'-theory, J. Reine Angew. Math.
478 (1996), 127-176.
[15] Grothendieck, A., Elements de geometrie algebrique. IV. Etude locale des schemas
et des morphismes de schemas. III. Inst. Hautes Etudes Sci. Publ. Math. 28 (1966),
p. 255.
[16] Grothendieck, A. and others, Theorie des topos et cohomologie etale des schemas.
Tome 2. Seminaire de Geometrie Algebrique du Bois-Marie 1963-1964 (SGA 4),
Dirige par M. Artin, A. Grothendieck et J. L. Verdier. Avec la collaboration de
N. Bourbaki, P. Deligne et B. Saint-Donat, Lecture Notes in Mathematics 270,
Springer- Verlag, Berlin, (1972).
[17] Guillen, F., Navarro Aznar, V., Un critere d'extension d'un foncteur defini sur
les schemas lisses Inst. Hautes Etudes Sci. Publ. Math. 95 (2002), 1-91.
[18] Hartshorne, R., Algebraic geometry. Graduate Texts in Mathematics, No. 52,
Springer- Verlag, New York (1977).
[19] HovEY, M., Shipley, B. and Smith, J., Symmetric spectra, J. Amer. Math. Soc.
13 No 1 (2000), 149-208.
[20] Jardine, J. F. Presheaves of symmetric spectra, J. Pure Appl. Algebra 150 No. 2
(2000), 137-154.
[21] Kahn, B. and Sujatha, R., A few localisation theorems. Homology, Homotopy and
Applications 9 (2007), 137-161.
[22] Keele, S. and MORI, S., Quotients by groupoids, Ann. Math. 145 (1997), 193-213.
[23] Laumon, G. and Moret-Bailly, L., Champs algebriques, Ergebnisse der Mathe-
matik und ihrer Grenzgebiete. 3. 39, Springer- Verlag, Berlin (2000).
[24] Mac Lane, S., Categories for the working mathematician. Graduate Texts in Math-
ematics 5, Second Edition, Springer- Verlag, New York (1998).
52 HENRI GILLET AND CHRISTOPHE SOULE
[25;
[26;
[27;
[28;
[29
[30
[31
[32;
[33
Manin, Y. Correspondences, motifs and monoidal transformations Mat. Sb., N.
77(119) (1968), 475-507.
McCarthy, R., A chain complex for the spectrum homology of the algebraic K-
theory of an exact category, in Algebraic ii'-theory (Toronto, ON, 1996), 199-220,
Fields Inst. Commun., 16, Amer. Math. Soc, Providence, RI, 1997.
QuiLLEN, D. C, Homotopical algebra. Lecture Notes in Mathematics, 43, Springer-
Verlag, Berlin (1967).
QuiLLEN D. C, Higher Algebraic K-theory I, Lecture Notes in Mathematics, Lecture
Notes in MathematicsZAl (1973), 85-147.
ROST, M., Chow groups with coefficients. Doc. Math. 1 (1996), No. 16, 319-393.
Takeda, Y., Complexes of exact Hermitian cubes and the Zagier conjecture. Math.
Ann. 328 (2004), no. 1-2, 87-119.
Thomason, R. W. Algebraic ii'-theory and etale cohomology. Ann. Set. Ecole Norm.
Sup. (4) 18 (1985), no. 3, 437-552.
Thomason, R. W. and Trobaugh, T., Higher algebraic ii'-theory of schemes and
of derived categories, in The Grothendieck Festschrift, Vol. HI, Progr. Math. 88
(1990), 247-435, Birkhauser Boston, Boston, MA.
Waldhausen, F., Algebraic ii'-theory of spaces, in Algebraic and geometric topol-
ogy (New Brunswick, N.J., 1983), 318-419, Lecture Notes in Math., 1126, Springer,
Berlin, 1985.
Department of Mathematics, Statistics, and Computer Science, University
OF Illinois at Chicago, 322 Science and Engineering Offices (M/C 249), 851 S.
Morgan Street, Chicago, IL 60607-7045, U.S.A.
E-mail address: gillet@uic.edu
Institut des Hautes Etudes Scientifiques, 35 route de Chartres, 91440 Bures-
sur-Yvette, France
E-mail address: soule@ihes.fr